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 ...

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 ...