Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
In The Week

In The Week

Augur, Aave, Pods, Cardano, Ren

Lewis Harland
Jul 31, 2020
∙ Paid
Share

Spotlight 🔎

Augur

Augur V2 has launched on mainnet.

Augur’s V2 brings a suite of improvements to offer a more refined experience for end users, including USD denominated markets through MakerDAO’s DAI, Uniswap’s V2 oracle system for price feeds, as well as 0x’s off-chain order books. Augur’s trading UI is the only one of the 3 open-source UIs that is curr…

This post is for paid subscribers

Already a paid subscriber? Sign in
© 2025 Lewis Harland
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share