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《环与模》讲义重刻

This repo contains complementary code for the paper Global Representation Ring and Knutson Index (authors: Dylan Johnston, Diego Martín Duro, Dmitriy Rumynin). The repo contains a program written in Sage & GAP to produce tables for global representation rings of a finite group G.