File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
logicproof.dtx | 24.0 KiB | 2014-03-21 03:06:08 UTC+09:00 |
logicproof.ins | 1.4 KiB | 2014-03-21 03:06:14 UTC+09:00 |
logicproof.pdf | 53.7 KiB | 2014-03-21 03:06:18 UTC+09:00 |
README | 543 B | 2014-03-21 04:27:48 UTC+09:00 |