Explain this is the tutorial for the HoTT snapshot - Githubissues

leanprover / tutorial

Lean Tutorials

https://leanprover.github.io/tutorial

Apache License 2.0

44 stars 46 forks source link

Explain this is the tutorial for the HoTT snapshot #208

Closed kim-em closed 7 years ago