Homepage
Open in app
Sign in
Get started
Tagged in
Klab
TrueFi Engineering
Team working on TrueFi talks about OSS (useDApp and Waffle), good software engineering practices and more!
More information
Followers
333
Elsewhere
More, on Medium
Klab
Marek Kirejczyk
in
TrueFi Engineering
Feb 2, 2019
Formal Verification for n00bs -Part 2: proving the correctness of a token
Read more…
643
2 responses