Similar repositories to coq-community/hoare-tut:

• coq-community/hoare-tut github similar
• danistefanovic/build-your-own-x github similar
• coq-community/coq-performance-tests github similar
• math-comp/POPLmark github similar
• PLSysSec/veriwasm-verification github similar
• gibiansky/IHaskell github similar
• JasonGross/slow-coq-examples github similar
• thery/twoSquare github similar
• SkySkimmer/ZF github similar
• Zilliqa/scilla-mode github similar
• thery/lemonde github similar
• backtracking/program-proofs-with-why3 github similar
• tootsuite/mastodon github similar
• Eugeny/terminus github similar
• alexcrichton/cc-rs github similar
• ubuntu/microk8s github similar
• hecrj/iced github similar
• meilisearch/MeiliSearch github similar
• motemen/gore github similar
• bedrocksystems/cpp2v github similar
• tuvtran/project-based-learning github similar
• coq-community/dblib github similar
• coq-community/huffman github similar
• codewars/coq_codewars github similar
• Sobernard/Lindemann github similar
• MisterDA/ocaml-platform github similar
• proof-ninja/merckletree_coq github similar
• zehnpaard/secd-ocaml github similar
• EngineeringSoftware/roosterize github similar
• mirage/mirage-logs github similar
• kendroe/CoqRewriter github similar
• jesper-bengtson/ChargeCore github similar
• corneliuhoffman/spatchcoqocaml github similar
• matthesjh/coq-tal github similar
• c-cube/smtlib-utils github similar
• dwarfmaster/commutative-diagrams github similar
• coq-community/reduction-effects github similar
• rafaelcgs10/W-in-Coq github similar
• conda-forge/coq-feedstock github similar
• llelf/cocoricoogle github similar