leonv/agda-gset
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
agda-gset/Category/G-Sets/Properties
History
Leon Vatthauer 366f03a8b0
minor
2024-05-06 16:24:49 +02:00
..
A4.agda minor 2024-05-06 16:24:49 +02:00
Equivalence.agda Implement homework 2024-05-05 14:43:35 +02:00
FreeObject.agda Implement homework 2024-05-05 14:43:35 +02:00