User: andrepd

  • Created: 4893 days ago
  • Karma: 19975
  • MSc in Physics PhD Researcher in Logic and Automated Reasoning