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
- A template for blueprint-driven formalization projects in Lean.☆73Updated this week
- Convex optimization modeling in Lean 4☆54Updated last year
- Tool to analyse the import structure of lean projects.☆14Updated this week
- A WIP definitional (co)datatype package for Lean4☆42Updated last month
- Beginner's guide to Tactic Programming in Lean☆60Updated 3 weeks ago
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆35Updated 3 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆26Updated 3 years ago
- Construction of a Brownian Motion in Lean☆22Updated last week
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆21Updated this week
- Helper toolkit for creating your own Lean 4 UserWidgets☆156Updated this week
- A Lean 4 Jupyter kernel via repl☆27Updated 10 months ago
- Tools based on AI for helping with Lean 4☆98Updated this week
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆20Updated last week
- computable implementation of real numbers in Lean4☆36Updated 2 months ago
- Fermat's Last Theorem for regular primes☆61Updated this week
- tool for turning Lean proofs into Blender animations☆75Updated last month
- Lean 4 library for pretty printing expressions as LaTeX☆31Updated 6 months ago
- Scientific computing in Lean 4☆425Updated 3 months ago
- WIP collections library for Lean 4☆32Updated 4 months ago
- Conservative floating point interval arithmetic in Lean☆21Updated this week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆77Updated 3 weeks ago
- ☆54Updated this week
- Formalization of Mathematical Logic☆158Updated this week
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- Document Generator for Lean 4☆104Updated last week
- plasTeX plugin to build formalization blueprints.☆241Updated last week
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆64Updated last year
- Chess in Lean 4☆21Updated 8 months ago
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆17Updated this week