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

Loading