user_1287856 - SpiceQA

Questions Tags Users Badges

user_1287856

@user_1287856

0 reputation

0 answers

4 questions

About Me

// Hello, World !

Top Answers

dafny how to bound set comprehension resolver?
1 votes
Dafny - Specifying that the largest element less than a given element is returned
1 votes
Convert numbers to strings
1 votes
How to add type-checking to a function extraction summary
1 votes

Top Questions

Scala mkString except the last one
5 votes
1 answers
Scala implicit conversion of apply method
4 votes
2 answers
Dependent tuples in Scala 3 / Dotty
3 votes
1 answers
How to add type-checking to a function extraction summary
2 votes
1 answers