zkdream.net
/
algebraic-graphs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
algebraic-graphs/Graph
History
zk⁷ e568dfe54b Pushing for the first time 2024-03-11 20:09:54 +02:00
..
Base.agda Pushing for the first time 2024-03-11 20:09:54 +02:00
Constructors.agda Pushing for the first time 2024-03-11 20:09:54 +02:00
Properties.agda Pushing for the first time 2024-03-11 20:09:54 +02:00
Reasoning.agda Pushing for the first time 2024-03-11 20:09:54 +02:00