search

leanprover / theorem_proving_in_lean

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

Fix backtick formatting typo #109

Closed mitchellvitez closed 3 years ago

mitchellvitez commented 3 years ago

Introduced this typo in #106, but didn't catch it until re-reading, after getting the merge email 🤦