tome
Catalog of natural deductive proofs, checked using Agda
The code is written and documented in literate Agda. As this will be part of my thesis, it is written with the assumption that the reader is not already familiar with Agda.
Natural deduction in Agda