search

DavePearce / DevmProofGen

Dafny Evm Proof Generator (experimental)
1 stars 1 forks source link

83 minimise unnecessary intermediate values #86

Closed DavePearce closed 6 months ago