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