Popular repositories Loading

1. ProvingGround ProvingGround Public

   Proving Ground: Tools for Automated Mathematics

   Jupyter Notebook 203 38

2. LeanAide LeanAide Public

   Tools based on AI for helping with Lean 4

   Jupyter Notebook 65 5

3. Saturn Saturn Public

   Experiments with SAT solvers with proofs in Lean 4

   Lean 53 2

4. lean-loris lean-loris Public

   Experiments with some ways of automating reasoning in lean 4

   Jupyter Notebook 15 1

5. MetaExamples MetaExamples Public

   Examples using MetaProgramming for writing tactics etc.

   Lean 14

6. LTS2019 LTS2019 Public template

   Web page, code for "Logic, Types Spaces 2019" at IISc

   Idris 9 13