Similar repositories to math-comp/real-closed:

• math-comp/real-closed github similar
• danistefanovic/build-your-own-x github similar
• bedrocksystems/cpp2v github similar
• josephcmac/Folklore-and-miscellaneous-results-in-number-theory github similar
• Lysxia/coq-recursion-schemes github similar
• SkySkimmer/ZF github similar
• Zilliqa/scilla-mode github similar
• thery/lemonde github similar
• gibiansky/IHaskell github similar
• math-comp/apery github similar
• math-comp/odd-order github similar
• coq-community/atbr github similar
• EngineeringSoftware/roosterize github similar
• codewars/coq_codewars github similar
• math-comp/mczify github similar
• Sobernard/Lindemann github similar
• MisterDA/ocaml-platform github similar
• mgrabovsky/fm-notes github similar
• math-comp/Abel github similar
• math-comp/multinomials github similar
• yforster/coqtheorem github similar
• imdea-software/fcsl-pcm github similar
• kendroe/CoqRewriter github similar
• corneliuhoffman/spatchcoqocaml github similar
• conda-forge/coq-feedstock github similar
• coq-community/comp-dec-modal github similar
• dwarfmaster/commutative-diagrams github similar
• arthuraa/deriving github similar
• uwplse/magic github similar
• llelf/cocoricoogle github similar
• coq-community/coq-performance-tests github similar
• coq-community/proviola github similar
• letouzey/coq-mmaps github similar
• vyorkin/okasaki-ocaml github similar
• coq-community/generic-environments github similar
• owo-lang/Mini-TT github similar
• math-comp/POPLmark github similar
• proofengineering/coq-ast github similar
• ANSSI-FR/coq-prelude github similar
• math-comp/algebra-tactics github similar