Docker Coq Reviews Save

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

No reviews for this project.

Add review

Open Source Agenda Badge

Open Source Agenda Rating
Submit Review Review Your Favorite Project

From the blog

Dec 11, 2022

How to Choose Which Programming Language to Learn First?