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☆30Updated last month
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 9 months ago
- Verifying encodings into propositional logic in Lean☆12Updated 2 years ago
- ☆33Updated 2 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- The PERPL Compiler☆14Updated 2 months ago
- Sources of the EuroProofNet web site.☆13Updated last month
- ☆73Updated this week
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆47Updated this week
- Formalizing convex polyhedra in Coq☆24Updated last year
- ☆23Updated 3 months ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆23Updated last month
- Claude skills for Lean 4 theorem proving☆50Updated last month
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- Conservative floating point interval arithmetic in Lean☆25Updated 3 weeks ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Updated last week
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Updated 2 years ago
- Combinatorial game library in Lean 4☆52Updated this week
- ☆22Updated 2 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆39Updated 2 weeks ago
- ☆24Updated 2 weeks ago
- EGraphs in OCaml☆77Updated last year
- Experiments with SAT solvers with proofs in Lean 4☆62Updated last year
- WIP collections library for Lean 4☆32Updated 7 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆77Updated last month
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Very controlled natural language tactics for Lean☆65Updated last year
- ☆16Updated 4 years ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆26Updated this week
- A (WIP) equality saturation tactic for Lean based on egg.☆75Updated 2 months ago