Formal Proofs

On this page I give a list of pieces of theory developed in proof assistants.