epfl-lara/lisa

Proof assistant based on first-order logic and set theory

语言：Scala · GitHub 星标：70 · Fork：24

在 GitHub 上查看原仓库