Software Map

Project Tree

• Per Category
• Per Hierarchy

Now limiting view to projects in the following categories:
      Intended Audience :: Developers [Remove This Filter]
      Operating System :: POSIX [Remove This Filter]
      Operating System :: Microsoft [Remove This Filter]

---

Environment  >  Other Environment

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

---

1 project in result set.

---

ProverEditor - A lightweight multi-prover interface in Eclipse.

Development Status : 3 - Alpha[Filter] Environment : Other Environment[Filter] Intended Audience : Developers (Now Filtering) Intended Audience : End Users/Desktop[Filter] License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter] Natural Language : English[Filter] Operating System : MacOS[Filter] Operating System : Microsoft (Now Filtering) Operating System : POSIX (Now Filtering) Programming Language : Java[Filter] Topic : Text Editors : Integrated Development Environments \(IDE\)[Filter]

Activity Percentile: 0.00 Registered: 2006-04-04 10:14

---