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/gn7Nvzq March 18, 2023 at 07:57AM
Show HN: Advent of Code 2022 (only first eight in different langs) Tried/revisited/used: Elixir, Haskell, Python, Rust, JS, Rust-WASM, TypeScript, Java. With READMEs for each https://ift.tt/aOFVhBo December 31, 2022 at 04:36AM
Comments