Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
RingSolver/ | 2012-01-10 11:55 | - | ||
Props/ | 2012-01-10 11:55 | - | ||
FunctionProperties/ | 2011-12-13 12:27 | - | ||
Structures.agda | 2011-12-13 12:27 | 14K | ||
RingSolver.agda | 2011-12-13 12:27 | 9.5K | ||
Operations.agda | 2011-12-13 12:26 | 1.8K | ||
Morphism.agda | 2011-12-13 12:26 | 2.5K | ||
FunctionProperties.agda | 2011-12-13 12:26 | 2.7K | ||