pthariensflame / agda-fumulas Goto Github PK
View Code? Open in Web Editor NEWAn exploration of fumulas in Agda—a new perspective on ring theory
Home Page: https://pthariensflame.github.io/agda-fumulas/
License: Creative Commons Zero v1.0 Universal