search

leanprover / tutorial

Lean Tutorials
https://leanprover.github.io/tutorial
Apache License 2.0
43 stars 46 forks source link

chore(*): warning box about Lean2 #210

Closed Kha closed 7 years ago

avigad commented 7 years ago

@Kha Thanks. This will help eliminate confusion. I made one small change, "Lean2" to "Lean 2".