Show HN: i2forge – A Platform for Verified Reasoning by from Hacker News on 2023-03-18 01:57 (#69Y5N) Comments