DijkstraMonad formalization of Dijkstra Monad using Lean4 and based on "Dijkstra Monads for All" from Kenji Maillard et al. 2019