patrick/agdaproofs
1
0
Fork 0
mirror of https://github.com/Smaug123/agdaproofs synced 2025-10-11 06:38:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
0078ca9c2d0b09f5affe0707a22290440972023c
agdaproofs/Rings
History
Smaug123 0078ca9c2d Missed one
2019-11-20 21:53:53 +00:00
..
Examples
Reshuffle in preparation to break the dependency on N's implementation (#75)
2019-11-17 10:01:39 +00:00
Homomorphisms
Polynomial ring (#76)
2019-11-17 17:37:10 +00:00
Ideals
Restructure towards ideals
2019-11-20 21:20:03 +00:00
Isomorphisms
Polynomial ring (#76)
2019-11-17 17:37:10 +00:00
Orders
Tidy up groups (#64)
2019-11-03 17:12:48 +00:00
Polynomial
Polynomial ring (#78)
2019-11-19 08:45:08 +00:00
Quotients
Missed one
2019-11-20 21:53:53 +00:00
Definition.agda
Polynomial ring (#76)
2019-11-17 17:37:10 +00:00
DirectSum.agda
Direct sums: preparing for vector spaces (#74)
2019-11-16 15:06:57 +00:00
IntegralDomains.agda
Tidy up groups (#64)
2019-11-03 17:12:48 +00:00
Lemmas.agda
Tidy up groups (#64)
2019-11-03 17:12:48 +00:00