search

informalsystems / cosmwasm-to-quint

Semi-automated modelling and Model-Based Testing for CosmWasm contracts
Apache License 2.0
14 stars 1 forks source link

Write proper README #19

Closed bugarela closed 4 months ago

bugarela commented 4 months ago

Hello :octocat:

Here's an updated README and a new LICENSE file. Once this is merged, I'll make the repository public :sparkles: