Taka0007/Lean4-try

定理証明支援系Lean4のお試しレポジトリ

Lean4

定理証明支援系Lean4のレポジトリ