C

conlog

Project information

A constructive logic proof checker

constructive... proof checker proofs logic

35 Commits
5 Branches
0 Tags

README
GNU AGPLv3
CONTRIBUTING

Created on

February 14, 2021

Loading