Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/pthariensflame/agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
https://github.com/pthariensflame/agda-fumulas
agda agda-lang agda-library algebraic-structures formal-proofs math mathematics ring-theory
Last synced: 10 days ago
JSON representation
An exploration of fumulas in Agda—a new perspective on ring theory
- Host: GitHub
- URL: https://github.com/pthariensflame/agda-fumulas
- Owner: pthariensflame
- License: cc0-1.0
- Created: 2024-04-11T03:42:25.000Z (9 months ago)
- Default Branch: main
- Last Pushed: 2024-08-05T04:40:39.000Z (5 months ago)
- Last Synced: 2024-12-08T20:45:44.044Z (14 days ago)
- Topics: agda, agda-lang, agda-library, algebraic-structures, formal-proofs, math, mathematics, ring-theory
- Language: Agda
- Homepage: https://pthariensflame.github.io/agda-fumulas/
- Size: 162 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# `agda-fumulas`
An exploration of fumulas in Agda—a new perspective on ring theory.