search

AlacrisIO / meta

Internal management of Legicash/Legilogic/Alacris
0 stars 0 forks source link

Liveness predicate #160

Open fare opened 5 years ago

fare commented 5 years ago

Let's make sure we can express and verify liveness properties about our DApps.