Similar repositories to leoprover/Leo-III:

• leoprover/Leo-III github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• combinators/cls-scala github similar
• ubuntu/microk8s github similar
• postalhq/postal github similar
• juxt/crux github similar
• martinescardo/HoTTEST-Summer-School github similar
• tuvtran/project-based-learning github similar
• meilisearch/MeiliSearch github similar
• ReactTraining/react-router github similar
• precog/quasar github similar
• micahflee/onionshare github similar
• upscayl/upscayl github similar
• moyix/fauxpilot github similar
• microsoft/picologging github similar
• AykutSarac/jsoncrack.com github similar
• coq-contribs/jprover github similar
• DeMaCS-UNICAL/EmbASP-Java github similar
• secure-compilation/SecurePtrs github similar
• aztek/tptp github similar
• LLNL/Babel github similar
• Gbury/archsat github similar
• aig-upf/2017-planning-with-simulators github similar
• benoitknuchel/Staged-Tagless-Interpreters-in-Dotty github similar
• Attempto/Clex github similar
• logicmoo/sigma_ace github similar
• hbgit/depthk github similar
• Whiley/WhileyTheoremProver github similar
• bloom-lang/bloom-compiler github similar
• leonardt/silica github similar
• UCLA-VAST/soda github similar
• cesaro/dpu github similar
• logicmoo/logicmoo_nlu github similar
• logicmoo/programk github similar
• GeorgOfenbeck/SpaceTime github similar
• maxdore/elfe github similar
• naproche/naproche github similar
• StarExec/StarExec github similar
• logicmoo/CYC_JRTL_with_CommonLisp github similar