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