bakkot / cfgrammar-tool
Work with context-free grammars. Parsing, string generation, and manipulation.
☆45Updated 2 years ago
Alternatives and similar repositories for cfgrammar-tool
Users that are interested in cfgrammar-tool are comparing it to the libraries listed below
Sorting:
- A tool for analyzing and transforming context-free grammars.☆219Updated 2 weeks ago
- An automated theorem prover for first-order logic.☆238Updated 3 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆46Updated last week
- Tree Proof Generator☆166Updated 2 months ago
- The HOL Light theorem prover☆456Updated 2 weeks ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- A browser extension to convert TeX to Unicode in browser inputs.☆61Updated last year
- ☆141Updated last week
- Python bindings for the Coq interactive proof assistant☆54Updated 3 years ago
- The Universal Algebra Calculator☆14Updated 2 years ago
- Implementation of the λΠ-calculus modulo rewriting☆209Updated 2 weeks ago
- A terse declarative logic programming language☆118Updated 4 years ago
- A lazy-grounding Answer-Set Programming system☆60Updated 2 months ago
- Repository for the QED interactive text and possible extensions☆98Updated 3 months ago
- A formalization of geometry in Coq based on Tarski's axiom system☆197Updated last week
- ⚙️ A conflict-driven nogood learning answer set solver☆122Updated last week
- The Incredible Proof Machine☆374Updated 2 months ago
- sorear's Metamath system engine☆13Updated 9 years ago
- Contextual types meet mechanized metatheory!☆188Updated this week
- git mirror of the Munich isabelle hg repository☆123Updated last week
- ☆40Updated 9 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆115Updated last month
- English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano☆33Updated 3 years ago
- WASM builds of the Z3 SMT solver☆145Updated 5 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆260Updated 3 years ago
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- Metamath program - source code for the Metamath executable☆81Updated this week
- A port of Coq to Javascript -- Run Coq in your Browser☆525Updated 6 months ago