Projects in Awesome Lists tagged with math-comp
A curated list of projects in awesome lists tagged with math-comp .
https://github.com/affeldt-aist/monae
Monadic effects and equational reasoning in Rocq
math-comp mathcomp monad-transformers monadic-effects monads nondeterminism probabilistic-programming ssreflect
Last synced: 20 Aug 2025
https://github.com/affeldt-aist/infotheo
A Coq formalization of information theory and linear error-correcting codes
convexity error-correcting-codes information-theory math-comp mathcomp probability ssreflect
Last synced: 05 May 2025
https://github.com/vyorkin/math-comp-notes
:construction: Repo to keep track of my notes and solutions to the Mathematical components book.
Last synced: 10 Mar 2025
