Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
6 lines (5 sloc) 237 Bytes

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.

You can’t perform that action at this time.