K framework proof explorer & smart contract specification format - View it on GitHub