|
mcmtroffaes's
repositories
|
|
010-false-true.agda
|
|
015-logic.agda
|
|
020-equivalence.agda
|
|
030-semigroup.agda
|
|
040-monoid.agda
|
|
050-group.agda
|
|
060-commutative-group.agda
|
|
100-natural.agda
|
|
110-natural-model.agda
|
|
120-natural-induction-necessary.agda
|
|
LICENSE
|
|
README.md
|