coqorg

The Coq proof assistant

Sponsored OSS

Community Organization

Coq-community

France

Displaying 1 to 2 of 2 repositories

coqorg/coq

500K+

13

By coqorg

Updated 24 days ago
Docker images of the Coq proof assistant
Languages & Frameworks
Integration & Delivery
Security
coqorg/base

50K+

3

By coqorg

Updated a month ago
Parent image for Docker images of the Coq proof assistant
Languages & Frameworks
Integration & Delivery