search

freespek / ssf-mc

EF project Exploring Automatic Model-Checking of the Ethereum specification
Apache License 2.0
4 stars 0 forks source link

Add devcontainer #26

Closed thpani closed 3 months ago

thpani commented 3 months ago

Add a VSCode dev container that sets up Apalache, plus Python and TLA+ extensions.