abella-prover/abella

An interactive theorem prover based on lambda-tree syntax

语言：OCaml · GitHub 星标：101 · Fork：22

话题：interactive-theorem-proving · lambda-calculus · meta-theory

在 GitHub 上查看原仓库