Lean
どれから読めばいいのか分からなくてムカつくmiyamonz.icon
Core Documentation
Functional Programming in Lean (FPIL)
Mathematics in Lean (MIL)
The Lean Language Reference
Further reading
...
Interactive Games and Tutorials
Resources
readmeからリンクされてた
ドキュメントや教材など
これ、公式からリンクが辿れないが、どこから？
これ古いドキュメントなのか?
This PR removes the old documentation overview site, as its content has moved to the main Lean website infrastructure.
main infraってどこ？
これ、外部へリンクしてるだけか
これいいなmiyamonz.icon
文法を学ぶのにはいい