search

leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
204 stars 47 forks source link

日本語訳 #114

Closed ondanaoto closed 9 months ago

ondanaoto commented 9 months ago

このブランチから随時ブランチを切って作業していく感じです