decorated-logics-for-exceptions-effect software on GitHub

Software OPEN SOURCE

Two different decorated formalizations of exceptions effect. See my hpc repository for their completeness proofs.
Share - Bookmark