from Hacker News

trombonechamp

joined 11/17/17, 2:27 AM has 264 karma

• Show HN: Paranoid Scientist – Verification for scientific software

  by trombonechamp on 4/2/20, 12:56 PM, with 0 comments