gitmyhub

phiLean

Lean ★ 27 updated 7mo ago

哲学的形式化验证器「phiLean」。

No plain-English explanation yet — one is being written right now. Check back in a minute.