Lion: A formally verified, 5-stage pipeline RISC-V core | Heykuki News