SpiceQA
Questions
Tags
Users
Badges
user_18101639
@user_18101639
0
reputation
0
answers
2
questions
About Me
// Hello, World !
Top Answers
Top Questions
Is there a way to apply a UDF function returning multiple values in Rust polars?
1 votes
1 answers
Can I define assumptions in lean?
1 votes
1 answers