This Rocq library contains a hierarchy of monads with their laws used in several examples of monadic equational reasoning. This repository contains a formalization of monads including examples of ...
Abstract: Minimal paths (MPs) play an important role in system reliability analysis, such as binary network reliability evaluation and multistate network reliability evaluation. Searching all MPs is ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results