Automatically generating proofs of recursion scheme equivalence in Dafny.
No one’s star this repository yet.