Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm.

Lukas Stevens, Rebecca Ghidini

Browse the full CADE paper archive.