Propositional quantifiers for intuitionistic logic mechanized in Coq.

Table of Contents

Source code

Accompanying paper (pre-print of the paper published in CPP 2023)