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 ...
Article subjects are automatically applied from the ACS Subject Taxonomy and describe the scientific concepts and themes of the article. The main objective of this study was to evaluate potential ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results