An exploration of fumulas in Agda—a new perspective on ring theory.
pthariensflame/agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
AgdaCC0-1.0
An exploration of fumulas in Agda—a new perspective on ring theory
AgdaCC0-1.0