SpiceQA
Questions
Tags
Users
Badges
user_890016
@user_890016
0
reputation
0
answers
5
questions
About Me
// Hello, World !
Top Answers
Is there a tactic for solving such trivial goals (lean theorem proving)?
5 votes
Lean 4 'unknown identifier Proof'
2 votes
Natural Number Game goals completed with error (invalid begin-end expression, comma expected)
2 votes
How do I prove this in Lean? p ∨ ¬p
2 votes
Top Questions
How to copy commit metadata (author, date) from another commit
15 votes
2 answers
Is it safe to logically split a borrow to work around a limitation of the NLL-enabled borrow-checker?
5 votes
2 answers
Returning a borrow from an owned resource
3 votes
3 answers
How to freeze an Rc data structure and send it across threads
3 votes
1 answers
jump/jump compilation strategy for stackless functions. (Using a link register manually instead of call/ret)
3 votes
2 answers