https://github.com/glguy/my-agda-lib

https://github.com/glguy/my-agda-lib

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/glguy/my-agda-lib
• Owner: glguy
• Created: 2013-01-14T22:23:57.000Z (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2015-07-15T15:54:38.000Z (over 9 years ago)
• Last Synced: 2024-05-08T20:14:50.251Z (8 months ago)
• Language: Agda
• Size: 165 KB
• Stars: 4
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
This repository provides various proofs about algebraic structures defined

in the standard library as well as a collection of proof "tactics" for

generating proofs about:

- Monoids

- Commutative Monoids

- Groups

- Abelian Groups