Pinned Loading

1. eprover eprover Public

   Forked from eprover/eprover

   C

2. Formal-Ethics-Ontology Formal-Ethics-Ontology Public

   Notes on the formalization of ethical theory, which should help with analyses and reasoning about AI safety and ethics.

   2 2

3. offer-network-thesis offer-network-thesis Public

   My master's thesis on prototypical offer network simulations

   TeX 1

4. Wordle Wordle Public

   Sketches of Playing with Wordle + Solutions

   Python

5. mmverify.py mmverify.py Public

   Forked from david-a-wheeler/mmverify.py

   Metamath verifier in Python

   Python 1

6. ai-agents ai-agents Public

   Gnuplot 1 1