emap-20242-ed / fadLinks
lean code
☆10Updated 8 months ago
Alternatives and similar repositories for fad
Users that are interested in fad are comparing it to the libraries listed below
Sorting:
- A Lean4 Formalization of Polynomial Functors☆22Updated last week
- Convex optimization modeling in Lean 4☆54Updated last year
- A template for blueprint-driven formalization projects in Lean.☆70Updated 2 weeks ago
- Construction of a Brownian Motion in Lean☆20Updated this week
- A WIP definitional (co)datatype package for Lean4☆42Updated 2 weeks ago
- Relational Algebra, now with more algebra!☆54Updated this week
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆17Updated 3 weeks ago
- tool for turning Lean proofs into Blender animations☆75Updated last week
- Experimental port of ADEV to Julia☆11Updated last year
- WIP collections library for Lean 4☆32Updated 3 months ago
- ☆21Updated this week
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 5 months ago
- computable implementation of real numbers in Lean4☆36Updated last month
- Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…☆15Updated last year
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- Chess in Lean 4☆21Updated 7 months ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆27Updated last year
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆19Updated this week
- A Lean 4 Jupyter kernel via repl☆27Updated 9 months ago
- ☆50Updated last week
- Lean 4 formalization of Rubik's cubes☆33Updated 6 months ago
- Tools based on AI for helping with Lean 4☆93Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated last month
- Examples using MetaProgramming for writing tactics etc.☆20Updated 2 weeks ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Updated 3 years ago
- Document Generator for Lean 4☆102Updated this week
- ACSets: Algebraic databases as in-memory data structures☆25Updated last week
- A (WIP) equality saturation tactic for Lean based on egg.☆69Updated 2 weeks ago
- ☆12Updated 4 months ago
- Conservative floating point interval arithmetic in Lean☆20Updated last week