1 result found Sort:

coq-community
corn rocq-community
45
114
gpl-2.0
13
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
coq coq-ci coq-library real-number coq-platform
Created 2011-06-21
1,849 commits to master branch, last one 2 months ago