cogent icon indicating copy to clipboard operation
cogent copied to clipboard

Published 20 hours ago • verified publisher icon au-ts

Subtyping proofs

Open crizkallah opened this issue 2 years ago • 0 comments

Is it easy to merge this branch with master?

Subtyping.thy has some proofs about evaluation being deterministic that would be good to have.

crizkallah avatar Sep 28 '22 05:09 crizkallah