Index of /~peterd/agda/SmallProofs

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]BoolProofs.agda 2015-06-10 17:18 600  
[   ]BoolProofs.agdai 2015-06-10 17:18 3.8K 
[TXT]NatProofs.agda 2015-06-07 14:09 1.2K 
[   ]NatProofs.agdai 2015-06-10 17:18 8.6K