https://github.com/gergoerdi/mod-arith

Modular arithmetic in Agda
https://github.com/gergoerdi/mod-arith

agda algebra arithmetic modular-arithmetic

Last synced: about 21 hours ago
JSON representation

Modular arithmetic in Agda

• Host: GitHub
• URL: https://github.com/gergoerdi/mod-arith
• Owner: gergoerdi
• Created: 2012-03-04T06:41:48.000Z (almost 13 years ago)
• Default Branch: master
• Last Pushed: 2012-05-20T10:26:58.000Z (over 12 years ago)
• Last Synced: 2024-11-16T18:32:07.007Z (2 months ago)
• Topics: agda, algebra, arithmetic, modular-arithmetic
• Homepage:
• Size: 172 KB
• Stars: 6
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project