konn/praxis-prover

A personal project to implement finitistic proof assistant based on Primitive Recursive Arithmetic, mainly suited for relative consistency proof.

语言：Haskell · GitHub 星标：4 · Fork：0

在 GitHub 上查看原仓库