zkdream.net/algebraic-graphs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Algebraic graphs with Agda
2 commits 1 branch 0 tags 36 KiB
Find a file
Exact
cat e568dfe54b Pushing for the first time
2024-03-11 20:09:54 +02:00
Graph Pushing for the first time 2024-03-11 20:09:54 +02:00
Graph.agda Pushing for the first time 2024-03-11 20:09:54 +02:00
LICENSE Initial commit 2024-03-11 18:08:31 +00:00
README.md Initial commit 2024-03-11 18:08:31 +00:00

README.md

algebraic-graphs

Algebraic graphs with Agda