Giters

pthariensflame / agda-fumulas

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

Home Page:https://pthariensflame.github.io/agda-fumulas/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agdaagda-langagda-libraryalgebraic-structuresformal-proofsmathmathematicsring-theory

agda-fumulas

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

About

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

https://pthariensflame.github.io/agda-fumulas/

agdaagda-langagda-libraryalgebraic-structuresformal-proofsmathmathematicsring-theory

License:Creative Commons Zero v1.0 Universal

Languages

Language:Agda 100.0%