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

Announcement here, store product page, seems to be new entries in a proprietary 900 Mhz based system they're trying to get back into a subset of IOT with after abandoning MFi all those years ago. Been ...