SpiceQA
Questions
Tags
Users
Badges
user_764576
@user_764576
0
reputation
0
answers
1
questions
About Me
// Hello, World !
Top Answers
what is wrong with postcondition in Dafny?
1 votes
Dafny: is recursive function enough to verify iterative find-and-replace?
1 votes
Which EVM opcodes produce traces on GoEthereum
0 votes
Top Questions
Destructuring Syntax for Tuples?
1 votes
1 answers
