Popular repositories Loading

1. mathematics_in_lean_source mathematics_in_lean_source Public

   Source code for the Mathematics in Lean tutorial.

   Lean 95 70

2. lamr lamr Public

   Logic and Mechanized Reasoning

   Lean 91 22

3. qpf qpf Public

   Datatypes as quotients of polynomial functors

   Lean 35 7

4. polya polya Public

   A heuristic procedure for proving inequalities

   Python 32 6

5. boole boole Public

   The Boole Interactive Reasoning Assistant

   Python 27 3

6. formal_methods_in_education formal_methods_in_education Public

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

   Ruby 14 2