Project Page
Index
Table of Contents
A mechanised and constructive reverse analysis of soundness and completeness of bi-intuitionistic logic
Table of Contents
Source code
Coq version: 8.17.1