User contributions
From Lazarus wiki
Jump to navigationJump to search- 03:57, 1 May 2014 diff hist +498 Projects using Free Pascal →Education and Scientific: Added ProofTools
- 03: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