##### A Verified Proof Checker for Metric First-Order Temporal Logic

by Andrei Herasimau, Jonathan Julian Huerta y Munive, Leonardo Lima, Martin Raszyk and Dmitriy Traytel

ACM: Theory of computation~Modal and temporal logics

AMS: Mathematical logic and foundations / General logic / Temporal logic

by Andrei Herasimau, Jonathan Julian Huerta y Munive, Leonardo Lima, Martin Raszyk and Dmitriy Traytel

by Salomon Sickert

by Joshua Schneider and Dmitriy Traytel