koehlma / rigorousLinks
A framework for working with inference rules.
☆10Updated 4 years ago
Alternatives and similar repositories for rigorous
Users that are interested in rigorous are comparing it to the libraries listed below
Sorting:
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- Python bindings for the egglog rust library☆91Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 months ago
- An LLVM interface for Lean 4. (WIP)☆24Updated 2 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- ☆16Updated 2 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆17Updated 6 months ago
- EGraphs in OCaml☆77Updated last year
- Pedagogical first-order prover in Python☆77Updated 5 months ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆45Updated 3 weeks ago
- The Stan transpiler (from Stan to C++ and beyond).☆146Updated this week
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Types for Python☆87Updated 7 years ago
- Python client for coq-lsp☆41Updated 2 weeks ago
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆17Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆43Updated this week
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Coq library for serialization to S-expressions☆19Updated 2 years ago
- Formalization of the basic actuarial mathematics using Coq☆22Updated 11 months ago
- Plain-text declaration export for Lean 4☆22Updated last month
- 🌍 🐓 Formal verification for JavaScript☆19Updated 2 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Updated 3 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated 3 weeks ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- WIP collections library for Lean 4☆32Updated 6 months ago
- Python bindings for egg☆49Updated 2 years ago
- The DRAT-trim proof checker☆67Updated 11 months ago