Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with ring-theory
A curated list of projects in awesome lists tagged with ring-theory .
https://github.com/UniMath/agda-unimath
The agda-unimath library
category-theory commutative-algebra finite-groups graph-theory group-theory higher-group-theory homotopy-type-theory number-theory order-theory orthogonal-factorization-systems ring-theory species structured-types synthetic-homotopy-theory trees type-theories univalent-combinatorics univalent-foundations univalent-mathematics universal-algebra
Last synced: 20 Nov 2024
https://github.com/iblech/constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
agda constructive-mathematics forcing mathematics paper ring-theory
Last synced: 13 Nov 2024
https://github.com/pthariensflame/agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
agda agda-lang agda-library algebraic-structures formal-proofs math mathematics ring-theory
Last synced: 12 Dec 2024
