Automate the generation of certain homomorphism proofs in Dafny.
Primary LanguagePython
No one’s star this repository yet.