Similar repositories to Mbodin/CoqR:

• Mbodin/CoqR github similar
• danistefanovic/build-your-own-x github similar
• EngineeringSoftware/roosterize github similar
• bedrocksystems/NOVA github similar
• Webstrates/Codestrates github similar
• TOTBWF/muprl github similar
• anton-trunov/coq-lecture-notes github similar
• peterlefanulumsdaine/general-type-theories github similar
• bedrocksystems/BRiCk github similar
• bazqux/bazqux-urweb github similar
• mitmath/18337 github similar
• uds-psl/coq-library-undecidability github similar
• patrickt/fastsum github similar
• mit-plv/kami github similar
• ekmett/discrimination github similar
• mit-plv/fiat github similar
• copumpkin/categories github similar
• digama0/mm0 github similar
• emitanaka/edibble github similar
• project-everest/everparse github similar
• coq-community/awesome-coq github similar
• jscert/jscert github similar
• agda/agda-categories github similar
• coq-community/vscoq github similar
• joergen7/cuneiform github similar
• uhub/awesome-coq github similar
• acowley/Frames github similar
• ModiaSim/Modia.jl github similar
• stan-dev/rstanarm github similar
• cedille/cedille github similar
• hwayne/lets-prove-leftpad github similar
• lehins/massiv github similar
• JuliaGraphs/Graphs.jl github similar
• wavebitscientific/functional-fortran github similar
• KeenS/webml github similar
• conal/concat github similar
• janestreet/hardcaml github similar
• AndrasKovacs/smalltt github similar
• sfujim/BCQ github similar
• AndrasKovacs/elaboration-zoo github similar