Matthew Daggitt
Results
12
repositories owned by
Matthew Daggitt
agda-routing
24
Stars
3
Forks
Watchers
An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
