Markete geri dön

paperproof-validator

Formal Proof Visualization and Verification for Lean 4

Depoyu görüntüle
v1.0.0
cmdopDevelopmentformal proof visualization, Lean 4, mathematics, proof verification3/1/2026
Formal Proof Visualization and Verification for Lean 4

Yorumlar

Henüz yorum yok.