search

leanprover / theorem_proving_in_lean

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

Fix broken cite{}. #23

Closed abliss closed 7 years ago

abliss commented 7 years ago

Missing backslash.