This is your work, valued
Research assistant in Computer Sciences at HSRM, Germany.
MRiscX. A certified RISC-V Interpreter with Hoare-logic in Lean
