CategoryTheory/agda-poset
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
3 commits 1 branch 0 tags 37 KiB
Commit graph

3 commits

This branch
This branch
All branches
Author SHA1 Message Date
Leon Vatthauer
fab399fb17
Merge branch 'main' of github.com:Reijix/agda-poset 2023-07-15 16:08:36 +02:00
Leon Vatthauer
ac004c0623
Initial commit 2023-07-15 16:08:13 +02:00
Leon Vatthauer
e1edc5ca1e
Initial commit 2023-07-15 16:07:28 +02:00