search

leanprover / theorem_proving_in_lean

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

fix(axioms_and_computation): fix a typo #36

Closed abliss closed 6 years ago

avigad commented 6 years ago

@abliss Thanks!