GitHub repository: nanexcool/klab
Description: K framework proof explorer & smart contract specification format