[smegsicle]

I don't know anything about smart contracts or provably correct code, but it seems like they should be working together by now..