search

lean-ja / lean-ja.github.io

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

リンク集更新 #7

Closed Seasawher closed 1 year ago

Seasawher commented 1 year ago

リンク集に math in type theory 日本語訳を追加する