You can get the contents of this directory bundled as a zip file.
| Identifier | Caption |
|---|---|
| lkproof | LK Proof figure macros. |
| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| lkproof-doc.pdf | 250 KiB | 2010-Sep-25 | |
| lkproof-doc.tex | 3 KiB | 2010-Sep-25 | |
| proof.sty | 7 KiB | 2005-Nov-24 | |
| proofeg.tex | 2 KiB | 2002-Apr-24 |
*File sizes in kibibytes.