steph pfp
steph

@stzinn

gotta love an open source formal verification tool that meets people where they are: https://a16zcrypto.com/symbolic-testing-with-halmos-leveraging-existing-tests-for-formal-verification/
0 reply
0 recast
1 reaction