i2forge – A Platform for Verified Reasoning

Show HN: i2forge – A Platform for Verified Reasoning

Based, i2forge – A Platform for Verified Reasoning works in show hn launch.

Profile

Hi! We're Amisi and Claude, builders of the i2 language and the i2forge platform. i2 is an (early draft of a) language designed to make formal verification easy for mathematicians.We are launching the language as an open source project today (https://i2lang.org) together with a closed alpha for i2forge.However, we have a publicly accessible demo page which anyone can use, and we would love your feedback.Thanks.

The company sits in the show hn launch segment, where it competes on its core product or service.

Its current recorded stage is Show HN launch.

Website: i2forge.com/landing