Show HN: i2forge – A Platform for Verified Reasoning https://ift.tt/9N8IGg3

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/zFkDtAn March 18, 2023 at 05:27AM

Comments

Post a Comment

Popular posts from this blog

Show HN: Xordle, a Wordle variant I made https://ift.tt/93whXCJ

Show HN: Xordle, a Wordle variant I made i forked hello-wordl to put together this wordle variant there's two secret words rather than one, they don't share any letters in common, and your clues will be green if they're green in either word, yellow if yellow in either word, grey otherwise i find it pretty hard, my friends seem to be pretty good at it though https://ift.tt/cyYNlGU March 5, 2022 at 11:55PM
Read more