Pass `Vat_grab_pass_rough` spec

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation

GNU General Public License v3.0

28 stars 9 forks source link

Open ehildenb opened 3 years ago