Software Map
Project Tree
Now limiting view to projects in the following categories:
Natural Language :: English [Remove This Filter]
License :: CeCILL [Remove This Filter]
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[Filter]
- Kind : Publication\(s\)[Filter]
- Kind : Software[Filter]
- License : CeCILL (Now Filtering)
- License : CeCILL-B[Filter]
- Natural Language : English (Now Filtering)
- 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: 79.43
Registered: 2006-06-21 14:09 |
