search

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
164 stars 93 forks source link

playing with artifacts #17

Closed lovettchris closed 3 years ago

lovettchris commented 3 years ago

work in progress...