Homepage
Open in app
Sign in
Get started
Tagged in
Evm
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
Evm
Marek Kirejczyk
in
TrueFi Engineering
Apr 4, 2019
Formal Verification for n00bs -Part 4: Understanding K language
Read more…
75
1 response
Marek Kirejczyk
in
TrueFi Engineering
Feb 21, 2019
Formal Verification for n00bs -Part 3: An attempt to prevent classic hack with Act
Read more…
346
2 responses
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