Hacker News new | ask | show | jobs
by jesse_m 2284 days ago
The RISC-V proof is very close to being completed too. Gernot talked at the RISC-V Summit 2019: https://www.youtube.com/watch?v=2IXBoVIUuVI