This project is archived. Its data is read-only. This project is read-only.

C

conlog Archived

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