bakkot / cfgrammar-tool
Work with context-free grammars. Parsing, string generation, and manipulation.
☆45Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for cfgrammar-tool
- A community database of topological counterexamples☆72Updated this week
- A tool for analyzing and transforming context-free grammars.☆206Updated last week
- The Universal Algebra Calculator☆14Updated 2 years ago
- An automated theorem prover for first-order logic.☆235Updated 2 years ago
- The HOL Light theorem prover☆429Updated this week
- ☆159Updated 5 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…☆116Updated 2 months ago
- A terse declarative logic programming language☆117Updated 4 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆72Updated last month
- A browser extension to convert TeX to Unicode in browser inputs.☆59Updated last year
- JavaScript library for working with automata and grammars for regular and context-free languages☆210Updated 2 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆51Updated 2 months ago
- A database app for ring theory☆21Updated last month
- A wiki for collaborative work on totally legitimate "category theory"☆102Updated 4 months ago
- An Open Encyclopedia of Proof Systems☆116Updated 2 years ago
- Search for ambiguities in context-free grammars.☆39Updated 3 years ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 2 years ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆163Updated this week
- Metamath program - source code for the Metamath executable☆79Updated 3 months ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated last week
- The mathematical study of type theories, in univalent foundations☆112Updated last month
- Syntax highlighting for ABNF/BNF/EBNF, Yacc, and other language-related languages.☆19Updated 2 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 2 years ago
- metamath proof enumerators and other things☆87Updated 3 months ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- Lean for the Curious Mathematician 2020☆63Updated last year
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆128Updated last week