Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

C

Coq formalization of QRC1

Project information

A formalization in Coq of the Quantified Reflection Calculus with one modality

236 Commits
18 Branches
2 Tags
2 Releases

README
Mozilla Public License 2.0
GitLab Pages

Created on

November 04, 2020

Copy SSH clone URLgit@gitlab.com:ana-borges/QRC1-Coq.git
Copy HTTPS clone URLhttps://gitlab.com/ana-borges/QRC1-Coq.git