decorated-logic-for-states-effect software on GitHub

Software OPEN SOURCE

A decorated formalization of states effect. See my hpc repository for its completeness proof.
Share - Bookmark