Popular repositories Loading

1. mathematics_in_lean_source mathematics_in_lean_source Public

   Source code for the Mathematics in Lean tutorial.

   Lean 193 102

2. lamr lamr Public

   Logic and Mechanized Reasoning

   Lean 116 32

3. qpf qpf Public

   Datatypes as quotients of polynomial functors

   Lean 41 7

4. polya polya Public

   A heuristic procedure for proving inequalities

   Python 36 6

5. boole boole Public

   The Boole Interactive Reasoning Assistant

   Python 31 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