This story draft by @escholar has not been reviewed by an editor, YET.
Verification of a Rust Implementation of Knuth’s Dancing Links using ACL2: Related Work

We publish the best academic work (that's too often lost to peer reviews & the TA's desk) to the global tech community
About Author
We publish the best academic work (that's too often lost to peer reviews & the TA's desk) to the global tech community