search

lean-ja / lean-ja.github.io

lean-ja の団体トップページ
https://lean-ja.github.io/
MIT License
0 stars 0 forks source link

lean の授業リストを紹介する #27

Closed Seasawher closed 9 months ago

Seasawher commented 9 months ago

以下をリンク集に追加。

https://leanprover-community.github.io/teaching/courses.html