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