Project Page
Index
Table of Contents
Propositional quantifiers for intuitionistic logic mechanized in Coq.
Table of Contents
Source code