Vilin97 / linear-algebra-done-right
☆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
- Tag-based webview of LaTeX documents☆28Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- A framework for composing and simulating multiphysics systems☆56Updated this week
- An introduction to theorem proving in Lean for the impatient.☆129Updated 3 months ago
- ☆30Updated 11 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 11 months ago
- A formalized proof of Carleson's theorem in Lean☆42Updated this week
- Differential forms in Julia☆14Updated 10 months ago
- ☆49Updated 2 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆36Updated 2 years ago
- Multivectors for geometric algebra☆24Updated 2 years ago
- Metamath verifier in Python☆37Updated 10 months ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 2 months ago
- A Lean 4 Jupyter kernel via repl☆21Updated 2 months ago
- Commutative diagrams with TikZ☆47Updated 2 years ago
- Yet another Julia package for working with geometric (or Clifford) algebras.☆22Updated 2 weeks ago
- tool for turning Lean proofs into Blender animations☆60Updated 2 weeks ago
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- Very controlled natural language tactics for Lean☆63Updated last year
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated last month
- A Lean file formatter☆65Updated 2 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 2 months ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 3 months ago
- The formal proof of the Odd Order Theorem☆30Updated this week
- Generate HTML documentation for mathlib and Lean☆21Updated 4 months ago
- some maths papers in English☆18Updated 3 months ago
- Formalization of the existence of sphere eversions☆38Updated 3 weeks ago