Software Map

Project Tree

• Per Category
• Per Hierarchy

Now limiting view to projects in the following categories:
      Kind :: Software [Remove This Filter]
      Programming Language :: Other [Remove This Filter]
      Intended Audience :: End Users/Desktop [Remove This Filter]
      Topic :: Scientific/Engineering :: Mathematics [Remove This Filter]
      Operating System :: OS Independent [Remove This Filter]

---

License  >  CeCILL-B

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

---

1 project in result set.

---

CoqFiniteGroups - Formal proof of the Feit-Thompson theorem Ssreflect plugin for the Coq proof assistant

Environment : Other Environment[Filter] Intended Audience : Developers[Filter] Intended Audience : End Users/Desktop (Now Filtering) Kind : Publication\(s\)[Filter] Kind : Software (Now Filtering) License : CeCILL[Filter] License : CeCILL-B[Filter] Natural Language : English[Filter] Operating System : OS Independent (Now Filtering) Programming Language : ML[Filter] Programming Language : Other (Now Filtering) Research center : Saclay - Ile de France[Filter] Topic : Scientific/Engineering : Mathematics (Now Filtering)

Activity Percentile: 76.47 Registered: 2006-06-21 14:09

---