TY  - RPRT
TI  - Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
AU  - Fabrizio Montesi
AU  - Marco Peressotti
AU  - Alexandre Rademaker
PY  - 2026
UR  - https://arxiv.org/abs/2602.15409
ID  - 2602.15409
ER  -