GitHub repository: ruar18/recursion-schemes
Created: 2020-06-29T16:11:14Z
Description: Automatically generating proofs of recursion scheme equivalence in Dafny.