Saturday, March 18, 2023
Show HN: i2forge – A Platform for Verified Reasoning https://ift.tt/ueAqY2b
Show HN: i2forge – A Platform for Verified Reasoning 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. https://ift.tt/OWjidMf March 18, 2023 at 03:57AM
Subscribe to:
Post Comments (Atom)
-
Show HN: Stragif – Supercharge your Strava activity feed with GIF https://www.stragif.run January 12, 2022 at 10:22AM
-
Show HN: Glitterly – Create and share videos of your app https://glitterly.app August 1, 2020 at 06:41AM
-
🕮 Hyper-V : Create Virtual Machine (Windows) On GUI configuration, set like follows. [2] Run [Server Manager] and Open [Tools] - [Hyper...
No comments:
Post a Comment