/AgdaProofs

My agda proofs for my internship at Chalmers with Mr. Coquand

Primary LanguageAgda

Watchers