Software Map
Project tree
Now limiting view to projects in the following categories:
License :: CeCILL-B [Remove This Filter]
1 project in result set.
0. 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 [Filter]
- Kind : Publication\(s\) [Filter]
- Kind : Software [Filter]
- License : CeCILL [Filter]
- License : CeCILL-B (Now Filtering)
- Natural Language : English [Filter]
- Operating System : OS Independent [Filter]
- Programming Language : ML [Filter]
- Programming Language : Other [Filter]
- Research center : Saclay - Ile de France [Filter]
- Topic : Scientific/Engineering : Mathematics [Filter]
|
Activity Percentile: 80.15
Activity Ranking: 160.00
Registered: 2006-06-21 14:09 |
