search

informalsystems / verification

Specifications of the protocols and the experiments on their verification
9 stars 2 forks source link

Update Lightclient.tla #9

Closed decanus closed 4 years ago

konnov commented 4 years ago

Thanks for the fix!