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
Modularize proof structure to one contract per file (for more modular proof generation/discharge) #221
Open
ehildenb opened 3 years ago