Live Verification in an Interactive Proof Assistant. - Samuel Gruetter; Viktor Fukala; Adam Chlipala (Proc. ACM Program. Lang., 2024)