Software Map

Project tree

Now limiting view to projects in the following categories:
Research center :: Saclay - Ile de France [Remove This Filter]
Development Status :: 3 - Alpha [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]

Operating System > Microsoft > Windows

Windows 3.1 or Earlier (0 projects)
Windows 95/98/2000 (1 projects)
Windows CE (0 projects)
Windows NT/2000 (8 projects)

Browse By:

1 project in result set.

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

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers [Filter]
Kind : Software [Filter]
License : OSI Approved : BSD License [Filter]
Natural Language : English [Filter]
Operating System : MacOS [Filter]
Operating System : Microsoft : Windows [Filter]
Operating System : POSIX : Linux [Filter]
Programming Language : Objective-Caml [Filter]
Research center : Saclay - Ile de France (Now Filtering)
Topic : Scientific/Engineering : Mathematics [Filter]

Activity Percentile: 0.00
Activity Ranking: 0.00
Registered: 2009-09-21 09:47