Similar repositories to maxhaslbeck/proving-contest-backends:

• maxhaslbeck/proving-contest-backends github similar
• danistefanovic/build-your-own-x github similar
• leanprover-community/yasnippet-lean github similar
• SnobbyDragon/leanfifteen github similar
• kbuzzard/lean-game-skeleton github similar
• anfelor/coc-lean github similar
• digama0/advent-of-code github similar
• gihanmarasingha/miu_language github similar
• SnobbyDragon/leanhanoi github similar
• kit-ty-kate/llvm-dune github similar
• paulaneeley/modal github similar
• leanprover-community/leancrawler github similar
• alashworth/sf-lean github similar
• ocurrent/opam-repo-ci github similar
• formalabstracts/CNL-CIC github similar
• levjj/esverify-theory github similar
• leanprover-community/lean-client-python github similar
• coq-community/coq-nix-toolbox github similar
• coq-community/lemma-overloading github similar
• hbr/fmlib github similar
• BinaryAnalysisPlatform/FrontC github similar
• ktahar/ocaml-lp github similar
• coq-community/docker-coq github similar
• istoilkovska/synchronous-tla-benchmarks github similar
• GaloisInc/lean4-balance-car github similar
• genovese/make-hash github similar
• thierry-martinez/refl github similar
• tlaplus/tlapm github similar
• JLimperg/aesop github similar
• Khady/merlin-eldoc github similar
• oisdk/agda-ring-solver github similar
• ammkrn/nanoda github similar
• backtracking/ocaml-hashcons github similar
• nunchaku-inria/nunchaku github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• statusfailed/cartographer github similar
• leanprover-community/format_lean github similar
• mirage/bechamel github similar
• jtassarotti/coq-proba github similar
• INRIA/velus github similar