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 ...
Had they included just one of Tony Hoare’s achievements, many scientific careers would be considered prestigious enough. His had a long list, unfortunately closed by his passing away at the age of 92 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results