This project is read-only.

TLAPS 1.4.3

Rating: No reviews yet
Downloads: 44
Change Set: 562a34c066b6
Released: Jun 16, 2015
Updated: Sep 28, 2015 by MartinRie
Dev status: Stable Help Icon

Recommended Download

Application Windows 32 bit Installer
application, 166145K, uploaded Sep 28, 2015 - 31 downloads

Other Available Downloads

Application Linux 32 bit Installer
application, 135853K, uploaded Sep 28, 2015 - 6 downloads
Application Mac OS X Installer
application, 99150K, uploaded Sep 28, 2015 - 7 downloads

Release Notes

We have released a new version (1.4.3) of TLAPS. This version contains
a good number of bug fixes, but no new feature. We expect that proofs
made with the previous version will still work with this one.

Please report any problems through the CodePlex bug tracker.

Reviews for this release

No reviews yet for this release.