ondrik / libvata
VATA Tree Automata Library
☆32Updated 7 months ago
Alternatives and similar repositories for libvata:
Users that are interested in libvata are comparing it to the libraries listed below
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆49Updated 5 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 7 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- Luck -- A Language for Property-Based Generators☆34Updated last month
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- ☆52Updated 3 weeks ago
- ☆19Updated 8 years ago
- Algebraic Combinatorics in Coq☆38Updated 2 months ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Model finder for higher-order logic☆42Updated last year
- Robots powered by Constructive Reals☆34Updated 7 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- CertiCrypt Coq Framework☆35Updated 8 years ago
- The Ynot Project source code.☆21Updated 10 years ago
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated 5 months ago
- ☆46Updated last year
- An automated deductive program verifier.☆42Updated 2 years ago
- ☆52Updated 4 months ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Updated 9 years ago
- Kodkod solver for relational logic☆74Updated last year
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆70Updated last month
- Partial Commutative Monoids☆28Updated 2 months ago
- Homebrew formulae for formal methods☆37Updated 6 months ago
- Notes and handouts from OPLSS 2019☆34Updated 5 years ago