Taka0007 / Lean4-try

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Lean4

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

About

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


Languages

Language:Lean 100.0%