Uploads by Laird
From Lazarus wiki
Jump to navigationJump to searchThis special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 03:55, 1 May 2014 | ProofTools.png (file) |  |
59 KB | A screenshot of ProofTools, a free, Lazarus-developed, cross-platform application for drawing proof trees (aka semantic tableaux). | 1 |
