Similar repositories to roglo/coq_real:

• Lysxia/coq-recursion-schemes github similar
• roglo/coq_real github similar
• lthms/coq-comparse github similar
• danistefanovic/build-your-own-x github similar
• letouzey/coq-minicalc github similar
• aronisstav/formal-trace-theory github similar
• uds-psl/churchs-thesis-coq github similar
• FreeProving/free-proving-code github similar
• thery/PolTac github similar
• olivierverdier/GeometricAlgebra github similar
• michaelsproul/dblib-linear github similar
• DmxLarchey/ite-normalisation github similar
• c-cube/smtlib-utils github similar
• sarahzrf/coq-depleted github similar
• HuStmpHrrr/agda-categories-1 github similar
• smimram/homer github similar
• thery/lemonde github similar
• bedrocksystems/cpp2v github similar
• kit-ty-kate/delimcc github similar
• tuvtran/project-based-learning github similar
• JasonGross/slow-coq-examples github similar
• bollu/SCEV-coq github similar
• GamestonkTerminal/GamestonkTerminal github similar
• yforster/coq-synthetic-computability github similar
• jonsterling/lecture-notes github similar
• 5HT/agda-nr-cats github similar
• EgbertRijke/CategoryTheory_Course github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• bachirelkhadir/Convex-Quaternary-Quartics-Are-Sum-of-Squares github similar
• gibiansky/IHaskell github similar
• alaingiorgetti/enum github similar
• Twey/agda-imp github similar
• conal/agda-fft github similar
• tlringer/ml-for-proofs github similar
• strub/elliptic-curves-ssr github similar
• smimram/Mini-TT github similar
• Drup/module-experiments github similar
• elpinal/regalloc github similar
• raaz-crypto/verse-coq github similar