Vilin97 / linear-algebra-done-rightLinks
☆10Updated 2 years ago
Alternatives and similar repositories for linear-algebra-done-right
Users that are interested in linear-algebra-done-right are comparing it to the libraries listed below
Sorting:
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- ☆34Updated last year
- The formal proof of the Odd Order Theorem☆31Updated last week
- Tag-based webview of LaTeX documents☆30Updated last year
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆29Updated 3 years ago
- Conservative floating point interval arithmetic in Lean☆17Updated this week
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- some maths papers in English☆18Updated last week
- Lean 4 library for pretty printing expressions as LaTeX☆25Updated 3 months ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- Leaff is a diff tool for Lean environments☆19Updated 5 months ago
- ☆11Updated last year
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 months ago
- ☆27Updated 3 years ago
- ☆49Updated 3 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Generate HTML documentation for mathlib and Lean☆21Updated 9 months ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- ☆10Updated this week
- Formalization of the existence of sphere eversions☆43Updated 2 weeks ago
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- Benchmarks for differentiable programming across languages and domains.☆40Updated last week
- Template for blueprint-driven formalization projects in Lean.☆57Updated last week
- A formalized proof of Carleson's theorem in Lean☆58Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated last month
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Learn Lean and topology☆20Updated 2 years ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year
- A Lean file formatter☆68Updated 2 years ago