GitHub repository: s-taiga/metaprogramming_in_lean4_ja
Primary language: Lean
Created: 2025-01-08T13:16:33Z
Description: Metaprogramming in Lean 4の日本語訳