logicproof: List of files
This package includes 5 files with a total size of 69007 bytes.
| Name | Directory |
|---|---|
| texmf\tpm\packages\logicproof.tpm | |
| texmf\tex\latex\logicproof\logicproof.sty | |
| texmf\doc\latex\logicproof\logicproof.pdf | |
| texmf\doc\latex\logicproof\README | |
| texmf\source\logicproof-src.tar.bz2 |