MatthewDaggitt

Results 1 repositories owned by


MatthewDaggitt

Stars

Forks

Watchers

An Agda library for reasoning about asynchronous iterative algorithms and network routing problems