Hacker GitHub

← All repos

runtimeverification/verified-smart-contracts

View on GitHub ↗ ★ 751 Solidity

Smart contracts which are formally verified

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2021-03-24 · latest 2021-12-20

Mentions per year 3 mentions · busiest year 2021 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 1
    Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]
    story by firloop · 2021-12-20 · 0 comments