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]
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
Registered: 2009-09-21 09:47 |
