This repository has been archived by the owner on May 26, 2022. It is now read-only.

Add @why3 docs to NatSpec page #32

Closed

patcon opened this issue Oct 30, 2015 · 1 comment

patcon commented Oct 30, 2015

https://github.com/ethereum/wiki/wiki/Ethereum-Natural-Specification-Format

Just a placeholder ticket.

chriseth changed the title ~~Add @why docs to NatSpec page~~ Add @why3 docs to NatSpec page

Contributor

chriseth commented Dec 18, 2015

This will probably move to https://solidity.readthedocs.org

jamesray1 closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.