ellieyhcheng / dice-vs-code
Dice Language Support for VS Code
☆10Updated 3 years ago
Related projects: ⓘ
- Performant and safe knowledge compilation in rust☆21Updated 2 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆76Updated 11 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- A stepping debugger for Standard ML (SML)☆21Updated 7 months ago
- ☆17Updated 2 weeks ago
- EGraphs in OCaml☆59Updated 8 months ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]☆17Updated last month
- Verifying encodings into propositional logic in Lean☆11Updated last year
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆62Updated 5 months ago
- WIP collections library for Lean 4☆30Updated this week
- ☆15Updated 3 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆17Updated 11 months ago
- ☆13Updated 3 months ago
- The Complex Number Game. Make the complex numbers in Lean.☆35Updated last year
- Advent of Code 2020 solutions in Lean 4☆26Updated 3 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 2 years ago
- Convex optimization modeling in Lean 4☆37Updated 3 months ago
- Experiments with SAT solvers with proofs in Lean 4☆52Updated 2 months ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Updated 3 years ago
- A Haskell probabilistic programming library.☆14Updated last week
- A verified StableHLO in Lean☆13Updated this week
- ☆21Updated 9 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆63Updated last month
- Library implementing type inference/checking functionality based on the Lean theorem prover☆35Updated 2 months ago
- Generate HTML documentation for mathlib and Lean☆21Updated 11 months ago
- Very controlled natural language tactics for Lean☆60Updated 7 months ago
- Formalizing convex polyhedra in Coq☆21Updated 2 months ago
- ☆46Updated 3 weeks ago
- Implementation of higher-order logic in Python☆56Updated last year
- Miking - the meta viking: a meta-language system for creating embedded languages☆51Updated last week