Similar repositories to lukaszcz/tptp2coq:

• lukaszcz/tptp2coq github similar
• janicicpredrag/Larus github similar
• aztek/tptp github similar
• Gbury/dolmen github similar
• sneeuwballen/zipperposition github similar
• vprover/vampire github similar
• akicho8/string-inflection github similar
• gap-system/gap github similar
• editorconfig/editorconfig-emacs github similar
• magnars/s.el github similar
• purcell/exec-path-from-shell github similar
• joaotavora/eglot github similar
• synercys/annotated_latex_equations github similar
• MaskRay/ccls github similar
• lark-parser/lark github similar
• coq/coq github similar
• jwiegley/use-package github similar
• emacs-lsp/lsp-mode github similar
• haifengl/smile github similar
• Geal/nom github similar
• antlr/grammars-v4 github similar
• Z3Prover/z3 github similar
• jart/cosmopolitan github similar
• faker-ruby/faker github similar
• gabime/spdlog github similar
• microsoft/vcpkg github similar
• WerWolv/ImHex github similar