Popular repositories Loading

1. gonzalgo gonzalgo Public

   Axiom provenance for Lean 4 and Metamath — which step introduced an axiom, and whether the theorem statement required it Website: https://f-keys.com/gonzalgo/

   Python 2

2. epistemend.org epistemend.org Public

   epistemend.org

   HTML 1

3. apriori apriori Public

   Academic works cited, references, etc.

   Python 1

4. independent-us-food-makers independent-us-food-makers Public

   Open datasets of independent US food makers, including halal- and kosher-certified producers recorded with their named certifying authority. CC BY 4.0.

5. mmforge mmforge Public

   Find avoidable axiom dependencies in Metamath databases, and build the proofs that remove them. Six repairs to set.mm, one merged.

   Python

6. set.mm set.mm Public

   Forked from metamath/set.mm

   Metamath source file for logic and set theory

   HTML