Index of /~peterd/agda/MLTT

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]Identity.agda 2015-06-10 15:21 221  
[   ]Identity.agdai 2015-06-10 15:21 2.5K 
[TXT]IdentityEliminationV..>2015-06-10 15:41 1.7K 
[   ]IdentityEliminationV..>2015-06-10 15:41 8.1K 
[TXT]MLTT.agda 2015-06-08 14:30 3.3K 
[   ]MLTT.agdai 2015-06-10 15:22 28K 
[   ]PeanoAxioms.agda 2015-05-24 16:31 910  
[   ]PeanoAxioms.agdai 2015-05-24 16:31 7.0K 
[   ]PredicateLogic.agda 2015-06-07 19:05 546  
[   ]PredicateLogic.agdai 2015-06-10 15:20 4.3K 
[   ]PropositionalLogic.agda2015-06-07 18:57 1.0K 
[   ]PropositionalLogic.a..>2015-06-10 15:20 8.5K