Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README.agda | 2018-04-26 11:22 | 909 | ||
agda-flat/ | 2018-04-26 11:00 | - | ||
agda/ | 2018-04-26 11:00 | - | ||
proposition-6-2.agda | 2018-04-26 11:00 | 6.8K | ||
theorem-3-1.agda | 2018-04-26 11:22 | 3.4K | ||
theorem-5-2-relative.agda | 2018-04-26 11:22 | 8.8K | ||
theorem-5-2.agda | 2018-04-26 11:22 | 7.9K | ||