Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

C

conlog

Project information

A constructive logic proof checker

constructive... proof checker proofs

+ 1 more

35 Commits
5 Branches
0 Tags

README
GNU AGPLv3
CONTRIBUTING

Created on

February 14, 2021

Copy SSH clone URLgit@gitlab.com:sv4u/conlog.git
Copy HTTPS clone URLhttps://gitlab.com/sv4u/conlog.git

Loading