TY  - RPRT
TI  - Verification of a Rust Implementation of Knuth's Dancing Links using ACL2
AU  - David S. Hardin
PY  - 2023
DO  - 10.4204/eptcs.393.13
UR  - https://arxiv.org/abs/2311.08862
ID  - 2311.08862
ER  -