/DijkstraMonad

formalization of Dijkstra Monad using "Dijkstra Monads for All" from Kenji Maillard et al. 2019

Primary LanguageLean

No issues in this repository yet.