GitHub repository: reynir/Verified
Primary language: Idris
Description: A collection of proofs for some idris class instances