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