Popular repositories

1. lamr Public

   Logic and Mechanized Reasoning

   Lean 29 8

2. qpf Public

   Datatypes as quotients of polynomial functors

   Lean 27 5

3. polya Public

   A heuristic procedure for proving inequalities

   Python 26 6

4. boole Public

   The Boole Interactive Reasoning Assistant

   Python 25 2

5. mathematics_in_lean_source Public

   Source code for the Mathematics in Lean tutorial.

   Lean 23 13

6. formal_methods_in_education Public

   A web page with resources for teaching with formal methods and tools.

   Ruby 11 2