affeldt-aist/infotheo
A Coq formalization of information theory and linear error-correcting codes
CoqLGPL-2.1
Stargazers
- 0bserver07New York
- aminorexGedanken Laboratories
- anton-trunovTON Foundation
- bcdarwinToronto, ON, Canada
- binaryflesh
- CalvinNeo@pingcap
- clayratIMDEA Software
- cmdevriesPoolside
- CohenCyrilInria
- cransono
- creatorrr@julep-ai
- erikmdLab. IRIT, Univ. Toulouse 3 Paul Sabatier
- HexirpJapan
- ilyasergeyNational University of Singapore
- jvalinsky
- lambdaxymoxUnited States
- manishkkNew Jersey Institute of Technology
- MesablooFrance
- mukeshtiwariSwansea
- nikitavoloboevTbilisi
- omasanoriJapan, or anywhere else
- pedrofreire
- PhDPUniversité de Montréal
- philzook58Draper
- pm5@g0v
- quinn-doughertyBerkeley
- rgrinbergToronto
- smondetNew York, NY
- smorimoto@ocaml @tc39
- sonologico
- takasimizTashirojima
- vbgl
- vkomenda
- vyorkin@zeriontech
- xuanruiqiGraduate School of Mathematics, Nagoya University
- XVilkaRizin.Org