search

loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

Agree contract lift #23

Closed tlogan closed 5 years ago

tlogan commented 5 years ago

Models to test out the lift contract feature are in models/agree/liftedContract .