A Framework for Verified Depth-First Algorithms.

Ren Neumann

Browse the full CADE paper archive.