Aunsiels / pyformlangLinks
A python library to manipulate formal languages and various automata
☆50Updated 3 weeks ago
Alternatives and similar repositories for pyformlang
Users that are interested in pyformlang are comparing it to the libraries listed below
Sorting:
- ☆42Updated 4 months ago
- General-purpose program synthesiser☆45Updated 7 months ago
- Heavyweight Python dynamic analysis framework☆13Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 3 weeks ago
- An curated list of papers on program synthesis.☆69Updated 5 years ago
- Search, check, and autofix your BibTex files!☆25Updated last year
- ☆43Updated 2 years ago
- Lean Theorem Prover MCP☆33Updated this week
- A database app for ring theory☆22Updated 2 weeks ago
- Pedagogical first-order prover in Python☆75Updated this week
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆62Updated 3 weeks ago
- Python bindings for the egg-smol rust library☆76Updated last week
- Formalisation of the Kelley-Meka bound on Roth numbers☆17Updated 2 weeks ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- Bonn Lean course for winter 24/25☆31Updated 5 months ago
- Flow graphs for Python☆26Updated 2 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated last year
- ☆17Updated 2 years ago
- ☆12Updated 2 years ago
- ☆38Updated 3 months ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- An automata learning library written in Python.☆49Updated 5 years ago
- DIversity in VerificAtion☆7Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆88Updated 3 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆20Updated this week
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- An attempt to formalize every problem in Baby Rudin with natural language descripiton☆17Updated 4 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- ☆27Updated 3 years ago