Ensure nested proofs in equation and unfold lemmas have been abstracted #1233
Triggered via pull request
November 5, 2023 23:58
leodemoura
leodemoura
opened
#2825
Status
Success
Total duration
14s
Artifacts
–