search

leanprover / theorem_proving_in_lean

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

add not #116

Closed cuppajoeman closed 10 months ago

cuppajoeman commented 2 years ago

not was defined but not used in the example, also update spacing of comments