Home My Page Projects TLA+ tools
Summary Activity Tracker Lists Tasks Docs News SCM Files
Close InriaForge Scheduled outage on Tuesday October 30, 2018, from 2PM CEST

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