user_454322
user_454322
@user_454322
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
  1. How to prove the inductive step in coq?
    1 votes
Top Questions
  1. How to break lines in PowerShell?
    100 votes
    6 answers
  2. How to prove the inductive step in coq?
    2 votes
    2 answers