TY  - RPRT
TI  - Blazing-Fast SMT-LIB Parsing for Rust and Lean
AU  - Jan Onderka
AU  - Armin Biere
AU  - Henrik Böving
PY  - 2026
UR  - https://arxiv.org/abs/2611.00185
ID  - 2611.00185
ER  -