coq-robot
by affeldt-aist
Mathematics of Rigid Body Transformationss using Coq and MathComp
AI summary
Robot math library
A Coq-based library for formal foundations of 3D geometry and robot manipulators
- stars
- 26
- forks
- 2
- watching
- 6
Similar projects
Found by comparing what the projects do, not just their names.
Code library
A formalization of information theory and linear error-correcting codes in Coq.
monad library
A Coq library for formalizing and reasoning about monads with equational logic
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Math library
A collection of mathematical theorems and tools within the Coq proof assistant
Relation algebra library
A collection of lemmas and tactics about lists and binary relations for a proof assistant
Relation Algebra Library
A Coq library providing algebraic tools and tactics for working with binary relations
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Mathematics formalization library
Formalizes mathematics using the univalent point of view
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Galois theorem formalizer
Formalization of mathematical theorems about solvability and Galois theory for polynomials
Math Library
A comprehensive library of formalized mathematical theories
