search

leanprover / theorem_proving_in_lean

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

dependent_type_theory.rst: typo #82

Closed dharmatech closed 4 years ago

dharmatech commented 5 years ago

and it will plays a central role

changed to:

and it will play a central role