Popular repositories Loading

1. mathematics_in_lean_source mathematics_in_lean_source Public

   Source code for the Mathematics in Lean tutorial.

   Lean 215 114

2. lamr lamr Public

   Logic and Mechanized Reasoning

   Lean 118 33

3. qpf qpf Public

   Datatypes as quotients of polynomial functors

   Lean 41 7

4. polya polya Public

   A heuristic procedure for proving inequalities

   Python 35 6

5. boole boole Public

   The Boole Interactive Reasoning Assistant

   Python 32 4

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