Popular repositories Loading

1. anshula.github.io anshula.github.io Public

   HTML

2. cancellation-law-theorem-prover cancellation-law-theorem-prover Public

   math theorem proving using coq and python

   Python 1

3. meet-associativity-theorem-prover meet-associativity-theorem-prover Public

   lattice theory theorem proving using coq and python

   Python

4. duality-tactic-for-lattice-theory duality-tactic-for-lattice-theory Public

   coq tactic that allows you to prove a lattice theory (in)equality if its dual has already been proven

   Makefile

5. nikodym-lean nikodym-lean Public

   an (incomplete) formalization of the finite field Nikodym theorem in Lean

   Lean