GitHub repository: lean-ja/lean4-metaprogramming-book-ja
Primary language: Lean
Created: 2024-09-07T05:44:38Z
Description: Metaprogramming in Lean 4の日本語訳