File:ProofTools.png

From Lazarus wiki
Jump to: navigation, search
ProofTools.png(679 × 433 pixels, file size: 59 KB, MIME type: image/png)

A screenshot of ProofTools, a free, Lazarus-developed, cross-platform application for drawing proof trees (aka semantic tableaux).

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current03:55, 1 May 2014Thumbnail for version as of 03:55, 1 May 2014679 × 433 (59 KB)Laird (Talk | contribs)A screenshot of ProofTools, a free, Lazarus-developed, cross-platform application for drawing proof trees (aka semantic tableaux).
  • You cannot overwrite this file.

Metadata