Alternatives and similar repositories for cfgrammar-tool

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

• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆229Updated last month
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆113Updated 11 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆301Updated this week
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 3 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆63Updated 4 years ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated 2 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆171Updated last year
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆535Updated 3 weeks ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆491Updated 3 weeks ago
• pi-base / data
  A community database of topological counterexamples
  ☆134Updated this week
• 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 9 months ago
• approach0 / search-engine
  A math-aware search engine.
  ☆351Updated 2 years ago
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆47Updated last week
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆246Updated 2 weeks ago
• wo / tpg
  Tree Proof Generator
  ☆177Updated 10 months ago
• adamyedidia / parsimony
  ☆346Updated 7 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 3 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆201Updated last month
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 10 months ago
• 1000-plus / 1000-plus.github.io
  https://1000-plus.github.io/
  ☆19Updated 2 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆147Updated last month
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆16Updated 3 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆415Updated 2 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆129Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 9 months ago