The agda-unimath library

Extensive learning notes on mathematics. Now hosted at https://git.sr.ht/~presheaf/deep-dive

Reifying dynamical algebra: maximal ideals in countable rings, constructively

An exploration of fumulas in Agda—a new perspective on ring theory

An undergraduate abstract algebra textbook

Ring and Module theory

Graduate algebra reviewer

Some tools for researching a particular near-ring over free groups

"Rings & Modules" notes reproduction《环与模》讲义重刻