Home My Page Projects TLA+ tools
Summary Activity Tracker Lists Tasks Docs News SCM Files

Project description

The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.

Latest File Releases
Package Version Date Notes Download
tlaps 0.9.2010_04_06_03 2010-04-09 tlaps - Release Notes tlaps 0.9.2010_04_06_03 - Download
Public Tools
Latest News
No News Found