/recursion-schemes

Automatically generating proofs of recursion scheme equivalence in Dafny.

recursion-schemes

Automatically generating proofs of recursion scheme equivalence in Dafny.