search

leanprover / theorem_proving_in_lean

Theorem proving in Lean
Apache License 2.0
47 stars 47 forks source link

Explicitly list each proof as an exercise #83

Closed dharmatech closed 4 years ago