Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
README | 2014-Mar-20 13:27:48 | 0.5K | text/plain; charset=utf-8 |
logicproof.dtx | 2014-Mar-20 12:06:08 | 24.0K | application/octet-stream |
logicproof.ins | 2014-Mar-20 12:06:14 | 1.3K | application/x-internet-signup |
logicproof.pdf | 2014-Mar-20 12:06:18 | 53.7K | application/pdf |