Index of /~nad/repos/equality/Equality

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -
[   ]Decidable-UIP.agda 04-Apr-2014 21:29 4.1K
[   ]Decision-procedures...>10-Dec-2012 00:08 8.3K
[   ]Groupoid.agda 03-Oct-2014 21:08 9.6K
[   ]Instances-isomorphic..>09-Sep-2013 14:21 2.2K
[   ]Propositional.agda 10-Feb-2013 20:25 1.4K
[   ]Tactic.agda 03-Oct-2014 21:08 13K