search

Finhaven / whitepaper-club

Repo for the Finhaven whitepaper reading sessions
MIT License
18 stars 3 forks source link

Short Paper (Formal Verification) #19

Open expede opened 6 years ago

expede commented 6 years ago

https://www.cs.umd.edu/~aseem/solidetherplas.pdf