TY  - RPRT
TI  - Verification of a DPLL Transition System in Rocq
AU  - Julia Dijkstra
AU  - Benedikt Ahrens
PY  - 2026
UR  - https://arxiv.org/abs/2607.14999
ID  - 2607.14999
ER  -