Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
Submit a PR with tests passing with Solidity SMTChecker pragma enabled and in CI.
This may require interacting with the project maintainers to get it working 100% with Augur's contracts. We suggest working with them on bug reports, fail cases, etc. Please join the #dev or #bounties channel of our [Discord](http://augur.net/invite) with any questions.
Bounty posted with [Gitcoin](https://gitcoin.co).