User contributions for Laird
From Free Pascal wiki
Jump to navigationJump to search
1 May 2014
- 03:5703:57, 1 May 2014 diff hist +498 Projects using Free Pascal →Education and Scientific: Added ProofTools
- 03:5503:55, 1 May 2014 diff hist +130 N File:ProofTools.png A screenshot of ProofTools, a free, Lazarus-developed, cross-platform application for drawing proof trees (aka semantic tableaux). current