Thanks to visit codestin.com
Credit goes to github.com

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
README.md		README.md
firstorder_base.h		firstorder_base.h
peano.h		peano.h
propositional_base.h		propositional_base.h
propositional_lib.h		propositional_lib.h
template_firstorder_verifier.cpp		template_firstorder_verifier.cpp
template_propositional_verifier.cpp		template_propositional_verifier.cpp
tests.h		tests.h

Repository files navigation

qock

About

This project is currently an implementation of a proof-checker. But it is planned to be extended; for example, to support algorithm extraction from intuitionistic proofs, which is considered to be an interesting feature.

Readme