Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Algebra Lean Open Source Projects

Open source projects categorized as Algebra Lean
Categories > Mathematics > Algebra
Categories > Lean
Mathlib ⭐ 1,464
Lean mathematical components library
most recent commit 44 minutes ago
Lean Ga ⭐ 33
A partial formalization of Geometric Algebra in the Lean formal proof verification system.
most recent commit 20 days ago
Lean Ualib ⭐ 6
Lean library for Universal Algebra
most recent commit 4 years ago
Linear ⭐ 3
Linear Algebra Done...Lean
most recent commit 5 years ago
Research ⭐ 2
most recent commit 5 years ago
Lean Homological Algebra ⭐ 2
Lean formalizations of things loosely related to homological algebra
most recent commit 3 years ago
Univalg ⭐ 1
most recent commit 3 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Probability
Tensor
Algebra
Matrices
Fft
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source.  All rights reserved.