mathcomp-extra
Extra contribution for mathcomp
5 stars
4 watching
2 forks
Language: Coq
last commit: 3 months ago
Linked from 1 awesome list
aks-algorithmbinomialcoqfourier-transformlucas-theoremmatroidprimality-testrsa-algorithmsorting-algorithmstheorem-proving