Smaug / agda
Latest patch on November 11, 2018
Category.agdaVectorsCategorieson September 30, 2018
Fields.agdaKeyValueon November 11, 2018
Functions.agdaKeyValueon November 11, 2018
Groups.agdaZn is a groupon October 30, 2018
IntegerFactorisation.agdaMoreon September 30, 2018
Integers.agdaKeyValueon November 11, 2018
IntegersModN.agdaZn is a groupon October 30, 2018
KeyValue.agdaKeyValueon November 11, 2018
Lists.agdaMoreon September 30, 2018
LogicalFormulae.agdaKeyValueon November 11, 2018
Maybe.agdaKeyValueon November 11, 2018
Naturals.agdaKeyValueon November 11, 2018
PrimeNumbers.agdaKeyValueon November 11, 2018
Rings.agdaKeyValueon November 11, 2018
Vectors.agdaVectorsCategorieson September 30, 2018
WellFoundedInduction.agdamisc-additionson July 13, 2018