user_1273482
user_1273482
@user_1273482
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
  1. Lisp in the real world
    6 votes
Top Questions
  1. How to initialize empty hint database
    3 votes
    1 answers
  2. Moving from computable functions to inductive relations
    2 votes
    1 answers