[All] Reactivate kprove in CI

LayerXcom / verified-vyper-contracts

FVyper: A collection of useful Vyper contracts developed with formal methods

Apache License 2.0

55 stars 15 forks source link

Closed nrryuya closed 5 years ago

nrryuya commented 5 years ago

resolve #76

nrryuya commented 5 years ago

@yudetamago Could you commit your modification here? 🙏

yudetamago commented 5 years ago

@nrryuya fixed!! 😄