Alternatives and similar repositories for cfgrammar-tool:

Users that are interested in cfgrammar-tool are comparing it to the libraries listed below

• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆190Updated 7 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 5 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆210Updated last month
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆117Updated this week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆294Updated 10 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 6 months ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆54Updated 3 weeks ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆443Updated 3 weeks ago
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆116Updated 4 months ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated 11 months ago
• siefkenj / latex-parser
  Generate an AST and beautify LaTeX code
  ☆69Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆234Updated 3 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆157Updated 10 months ago
• formalabstracts / formalabstracts
  ☆160Updated 5 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 4 months ago
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆182Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 5 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆74Updated last year
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆354Updated this week
• eprover / eprover
  ☆135Updated this week
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆94Updated 4 months ago
• coq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆88Updated this week
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆61Updated last year
• mdnahas / Peano_Book
  English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
  ☆31Updated 2 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆117Updated 2 years ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆47Updated 2 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• fbanados / research-howto
  Notes about research.
  ☆8Updated 2 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated this week