docker-mathcomp
by math-comp
Docker images of coq-mathcomp [maintainer=@erikmd]
AI summary
Coq library image
Provides Docker images for a Coq proof assistant library
- stars
- 6
- forks
- 2
- watching
- 13
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Coq container
Provides pre-configured Docker images for building and testing the Coq proof assistant
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Math Library
A comprehensive library of formalized mathematical theories
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Proof assistant
Coq proof assistant book with exercises and examples
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Algebra library
A Coq library providing algebraic data structures and algorithms
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Number library
A Coq library providing support for arbitrarily large numbers
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Choice type map library
A Coq library that provides support for finite sets and maps on choice types
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions docker-mathcomp.