1 Repositories
Rust kind2 Libraries
Temporary repository for Kind2's refactor based on HVM2
Kind2 WIP Kind1 has been developed in JavaScript, which wasn't meant to be a long-term solution, but allowed us to explore self-types. Recently, we st
11 Feb 24, 2024