infotheo
by affeldt-aist
A Coq formalization of information theory and linear error-correcting codes
AI summary
Code library
A formalization of information theory and linear error-correcting codes in Coq.
- stars
- 64
- forks
- 15
- watching
- 6
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
monad library
A Coq library for formalizing and reasoning about monads with equational logic
Robot math library
A Coq-based library for formal foundations of 3D geometry and robot manipulators
Galois theorem formalizer
Formalization of mathematical theorems about solvability and Galois theory for polynomials
Mathematics foundation library
A proof assistant library implementing univalent foundations of mathematics
Relation algebra library
A collection of lemmas and tactics about lists and binary relations for a proof assistant
Mathematics formalization library
Formalizes mathematics using the univalent point of view
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Math proof framework
A Coq-based tutorial on set theory and theorem-proving using formalized mathematical proofs
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Group Theory Theorem Verification
Verifies a mathematical theorem in finite group theory
Number theory formalism
Formalizing mathematical theorems from Hardy's book in Coq to create a rigorous and reproducible formalization of number theory
Math Library
A comprehensive library of formalized mathematical theories
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions infotheo.
