search

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
164 stars 92 forks source link

typo: capitalized type `list` #66

Closed Felix-Weilacher closed 8 months ago

david-christiansen commented 8 months ago

Thank you! Sorry for the delay reviewing.