tomlarkworthy/firesafe

secure firebase state machines

1 best points · 0 comments · 1 Hacker News post · 125 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: formal verification for Firebase (1 points, 0 comments, by tlarkworthy, 2014-04-11)