Icon  Name                        Last modified      Size  
[DIR] Parent Directory - [   ] README 20-Mar-2014 14:27 543 [   ] logicproof.dtx 20-Mar-2014 13:06 24K [   ] logicproof.ins 20-Mar-2014 13:06 1.4K [   ] logicproof.pdf 20-Mar-2014 13:06 54K
Halifax, Nova Scotia [44.636607, -63.591380] mirror maintained by Karl Vollmer of ITS and Chris Maxwell and Jeff Allen of CS @ Dalhousie University
Sponsored By: Computer Science @ Dalhousie University, Networks & Systems @ Dalhousie University, ACORN Members