GitHub - theoremprover-museum/ProCom: A theorem prover based on the PTTP paradigm. · GitHub

Name	Name	Last commit message	Last commit date
src	src
manual.ps	manual.ps
procom.html	procom.html

About

A theorem prover based on the PTTP paradigm.

Custom properties

1 star

2 watching

Report repository

Releases

Packages

Contributors

Languages