Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 4 Algebra Theorem Proving Open Source Projects

Open source projects categorized as Algebra Theorem Proving
Categories > Mathematics > Algebra
Categories > Mathematics > Theorem Proving
Mathlib ⭐ 1,465
Lean mathematical components library
most recent commit 4 hours ago
Informatica Public ⭐ 78
Public code developed during my MSc study at University of Bologna
most recent commit 3 months ago
Functional Algebra ⭐ 4
This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both axiom definitions for these structures and proofs of foundational results. The current package contains over 800 definitions and proofs.
most recent commit 4 years ago
Mqs ⭐ 3
Math Question Solver
most recent commit 10 months 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.