Simple mathematical operations proofed with Agda
Primary LanguageAgdaMIT LicenseMIT
This repository is not active