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