feat(proofs): reversibility as a Loss grade — Agda kernel module pinned to resource-algebra (JNK-01, B of 3) - #150

feat(proofs): reversibility as a Loss grade — Agda kernel module pinned to resource-algebra (JNK-01, B of 3)#150

hyperpolymath merged 6 commits into

mainhyperpolymath/januskey:mainfrom

proofs/reversibility-gradehyperpolymath/januskey:proofs/reversibility-gradeCopy head branch name to clipboard