Similar repositories to AU-COBRA/ConCert:

• AU-COBRA/ConCert github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• ReactTraining/react-router github similar
• meilisearch/MeiliSearch github similar
• ejgallego/coq-lsp github similar
• LPCIC/coq-elpi github similar
• WasmCert/WasmCert-Coq github similar
• CertiCoq/certicoq github similar
• coq-tactician/coq-tactician github similar
• gibiansky/IHaskell github similar
• ejgallego/pycoq github similar
• coq/platform github similar
• unicoq/unicoq github similar
• smtcoq/smtcoq github similar
• lukaszcz/coqhammer github similar
• mit-plv/coqutil github similar
• math-comp/analysis github similar
• palmskog/coq-program-verification-template github similar
• danburkert/prost github similar
• uds-psl/coq-library-undecidability github similar
• smtcoq/sniper github similar
• CoqHott/exceptional-tt github similar
• cicada-lang/cicada github similar
• MetaCoq/metacoq github similar
• k6io/k6 github similar
• Eloston/ungoogled-chromium github similar
• GeoCoq/GeoCoq github similar
• backtracking/bheap github similar
• coq/ceps github similar
• Mtac2/Mtac2 github similar
• lthms/FreeSpec github similar
• tlringer/plugin-tutorial github similar
• AU-COBRA/PoS-NSB github similar
• xavierleroy/cdf-mech-sem github similar
• runtimeverification/algorand-verification github similar
• coq-community/coqffi github similar
• pdarragh/camlrack github similar