search

AlacrisIO / meta

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

Don't include assert!/possible? claims in Solidity/JS #108

Closed jeapostrophe closed 5 years ago

jeapostrophe commented 5 years ago

They are guaranteed by Z3, so are always true.