C

Coq formalization of QRC1

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