user_13548228
user_13548228
@user_13548228
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. COQ: How to use "<=" for Z and R in the same lemma?
    4 votes
    1 answers
  2. Proving a_j ≤ b_j → sum (a_j) ≤ sum (b_j)
    3 votes
    2 answers