GitHub repository: maaikezwart/Agda-proofs
Primary language: Agda
Created: 2022-01-10T15:26:33Z
Description: Agda code for the proofs I use in my research