Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Structure/ | 2009-06-08 09:56 | - | ||
Relations.agda | 2009-06-08 09:56 | 1.0K | ||
Operations.agda | 2009-06-08 09:56 | 1.2K | ||
Leibniz.agda | 2009-06-08 09:56 | 505 | ||
Identity.agda | 2009-06-08 09:56 | 919 | ||
Equivalence.agda | 2009-06-08 09:56 | 231 | ||
Congruence.agda | 2009-06-08 09:56 | 1.3K | ||
ChainReasoning.agda | 2009-06-08 09:56 | 1.9K | ||
Base.agda | 2009-06-08 09:56 | 812 | ||