Formal Proofs
On this page I give a list of pieces of theory developed in proof assistants.
Proof scripts
for the theory in my
thesis
.
Proof scripts
for the paper
Safe Proof Checking in Type Theory with Y
to appear in CSL'99