search

DavePearce / DevmProofGen

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

Support `AndU8`, `AndU160`, etc #75

Open DavePearce opened 1 year ago

DavePearce commented 1 year ago

This can be loaded into the header perhaps ?