Ethereum Sbuilder loader plugin to load api interfaces and specification snippets for Ethereum Solidity contract in tlaplus language.
>= 2.3.1, ~> 2.3
jarjuk