ring-theory
There are 9 repositories under ring-theory topic.
UniMath/agda-unimath
The agda-unimath library
luizmugnaini/deep-dive
Extensive learning notes on mathematics. Now hosted at https://git.sr.ht/~presheaf/deep-dive
iblech/constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
pthariensflame/agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
bushshrub/algebra-book
An undergraduate abstract algebra textbook
hbghlyj/Rings
"Rings & Modules" notes reproduction《环与模》讲义重刻
roelchristian/algebra-reviewer
Graduate algebra reviewer
suohyd/Algebra-II
Ring and Module theory
yoelmatveyev/snring
Some tools for researching a particular near-ring over free groups