thierrymarianne / contrib-ledger-project-eu-safepkt-assert Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ledgerproject/safepkt_assert
Assertions and assumptions for SafePKT annotated contracts
License: Apache License 2.0