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
Sorting:
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- A Lean file formatter☆67Updated 2 years ago
- ☆49Updated 2 years ago
- Benchmarks for differentiable programming across languages and domains.☆38Updated this week
- Tag-based webview of LaTeX documents☆28Updated last year
- Lean for the Curious Mathematician 2020☆66Updated last year
- A formalized proof of Carleson's theorem in Lean☆53Updated this week
- Tangent bundle, vector space and Submanifold definition☆50Updated 2 months ago
- Very controlled natural language tactics for Lean☆63Updated last year
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 5 months ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆115Updated last month
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- ☆10Updated this week
- some maths papers in English☆18Updated last month
- Package registry for Lean/Lake.☆18Updated last week
- Fermat's Last Theorem for regular primes☆58Updated this week
- ☆33Updated last year
- ☆11Updated last year
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- The formal proof of the Odd Order Theorem☆30Updated 3 weeks ago
- ☆10Updated 8 months ago
- Building group theory from scratch in Lean☆59Updated 4 years ago
- Yet another Julia package for working with geometric (or Clifford) algebras.☆22Updated last month
- Matching algorithms for Graphs.jl☆16Updated 5 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Resumable and copyable functions a.k.a. coroutines for Julia, with optional function-specific globals.☆19Updated this week
- Metamath verifier in Python☆38Updated last year
- Tensor algebra abstract type interoperability setup☆43Updated 5 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…☆120Updated last year