ellieyhcheng / dice-vs-codeLinks
Dice Language Support for VS Code
☆10Updated 5 years ago
Alternatives and similar repositories for dice-vs-code
Users that are interested in dice-vs-code are comparing it to the libraries listed below
Sorting:
- Performant and safe knowledge compilation in rust☆31Updated 2 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 10 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- ☆34Updated 2 years ago
- Sources of the EuroProofNet web site.☆13Updated last week
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- Type-and-example-driven program synthesis for functional programming languages☆27Updated 6 years ago
- EGraphs in OCaml☆80Updated 2 years ago
- Formalization of the basic actuarial mathematics using Coq☆22Updated last year
- Advent of Code 2020 solutions in Lean 4☆27Updated 5 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Updated 2 years ago
- ☆16Updated 5 years ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆49Updated last week
- ☆26Updated last month
- ☆81Updated last week
- Implementation of higher-order logic in Python☆67Updated 2 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Updated this week
- The PERPL Compiler☆14Updated 3 months ago
- Formalizing convex polyhedra in Coq☆24Updated last year
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Updated 3 weeks ago
- Python bindings for the Coq interactive proof assistant☆57Updated 4 years ago
- ☆22Updated 3 weeks ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated 2 years ago
- Conservative floating point interval arithmetic in Lean☆24Updated 3 weeks ago
- Experiments with SAT solvers with proofs in Lean 4☆63Updated last year
- A Rocq version of the miniF2F dataset☆22Updated 3 months ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Updated 2 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆27Updated 2 weeks ago
- The formal proof of the Odd Order Theorem☆37Updated 3 months ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆54Updated last week