Similar repositories to isabelle-utp/utp-main:

• isabelle-utp/utp-main github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• meiersi/scyther-proof github similar
• meilisearch/MeiliSearch github similar
• davyg/proved_primal github similar
• isabelle-utp/Shallow-Expressions github similar
• isabelle-utp/Isabelle-SACM github similar
• wangslyl/hhlprover github similar
• isabelle-utp/Z_Toolkit github similar
• isabelle-utp/Optics github similar
• RobArthan/pp-contrib github similar
• yylonly/AutoPrototype-CaseStudies github similar
• NICTA/l4v github similar
• haslab/HAAP github similar
• gemoc/farmingmodeling github similar
• echronos/echronos-proofs github similar
• AFifarek/SpeAR github similar
• leanprover/presentations github similar
• andriusvelykis/isabelle-eclipse github similar
• diffblue/hw-cbmc github similar
• wimmers/munta github similar
• Shopify/vscode-shadowenv github similar
• uwplse/oeuf github similar
• lgwagner/SpeAR github similar
• lclem/agda-kernel github similar
• imitator-model-checker/imitator github similar
• moajohansson/IsaHipster github similar
• jemc/pony-capnp github similar
• loonwerks/formal-methods-workbench github similar
• eclipse/gemoc-studio github similar
• andrew-bedford/coqatoo github similar
• kbuzzard/lean-stacks-project github similar
• raulrpearson/PVSystems github similar
• jemc/pony-inspect github similar
• Frama-C/open-source-case-studies github similar
• Verisig/verisig github similar
• xgrommx/agda-ecosystem github similar
• tomgr/libcspm github similar
• agda/agda-pkg github similar