3 ms·IELE: basically WASM but designed for formal verification. But I think it's dead.by indolering 2y agoIELE: basically WASM but designed for formal verification. But I think it's dead.