Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README | 2014-03-20 17:27 | 543 | ||
logicproof.dtx | 2014-03-20 16:06 | 24K | ||
logicproof.ins | 2014-03-20 16:06 | 1.4K | ||
logicproof.pdf | 2014-03-20 16:06 | 54K |
This is just a mirror site. The original site is: https://ctan.org/
Contact for this mirror site: stefan@latex.org. Background