ondrik / libvataLinks
VATA Tree Automata Library
☆32Updated 9 months ago
Alternatives and similar repositories for libvata
Users that are interested in libvata are comparing it to the libraries listed below
Sorting:
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Luck -- A Language for Property-Based Generators☆34Updated 3 months ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Python term rewriting☆29Updated 12 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 7 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- LibPoly is a C library for manipulating polynomials☆50Updated last month
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 6 years ago
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- Kodkod solver for relational logic☆75Updated last year
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- Implementation of Nuprl's type theory in Coq☆45Updated 6 months ago
- Algebraic Combinatorics in Coq☆38Updated 4 months ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆70Updated last month
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 7 years ago
- PC-miner tool for program chairs☆27Updated 2 months ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆42Updated 2 months ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated last month
- The Ynot Project source code.☆22Updated 11 years ago