ruar18/proof-automation

Automate the generation of certain homomorphism proofs in Dafny.

Python