Software Map

Project Tree

• Per Category
• Per Hierarchy

Now limiting view to projects in the following categories:
      Programming Language :: Objective-Caml [Remove This Filter]
      Intended Audience :: Developers [Remove This Filter]
      Operating System :: MacOS [Remove This Filter]
      License :: OSI Approved :: BSD License [Remove This Filter]
      Kind :: Software [Remove This Filter]

---

Research center  >  Saclay - Ile de France

Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

---

1 project in result set.

---

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

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

Activity Percentile: 4.24 Registered: 2009-09-21 09:47

---