math-comp

There are 0 repository under math-comp topic.

• affeldt-aist / monae

  Monadic effects and equational reasonig in Coq

  math-compmathcompmonad-transformersmonadic-effectsmonadsnondeterminismprobabilistic-programmingssreflect
  Language:Coq 68

• affeldt-aist / infotheo

  A Coq formalization of information theory and linear error-correcting codes

  convexityerror-correcting-codesinformation-theorymath-compmathcompprobabilityssreflect
  Language:Coq 61

• vyorkin / math-comp-notes

  :construction: Repo to keep track of my notes and solutions to the Mathematical components book.

  coqssreflectmath-comp
  Language:Coq 1