/quip

[wip] Proof format and checker for first-order and higher-order theorem provers

Primary LanguageOCaml

Quip build

Quick Proof, a proof format for first-order and higher-order theorem provers. This repo contains a proof checker.

note: this is work-in-progress.

License

MIT