2 ms·
Nice work. It's getting there. Will behavior and output be formally proven, similar to the seL4 microkernel effort, at some point so that it's not only insanel
by sacnoradhq 3y ago
Nice work. It's getting there.
Will behavior and output be formally proven, similar to the seL4 microkernel effort, at some point so that it's not only insanely fast but insanely correct?
- amedvednikov 3y agoWould be nice to have, but can't guarantee it at the moment.