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: 2 months 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 (about 1 year ago)
• Default Branch: main
• Last Pushed: 2025-03-21T17:37:58.000Z (3 months ago)
• Last Synced: 2025-03-24T20:07:44.020Z (2 months 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: 180 KB
• Stars: 2
• Watchers: 3
• 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.