An exploration of fumulas in Agda—a new perspective on ring theory
Primary LanguageAgdaCreative Commons Zero v1.0 UniversalCC0-1.0