Challenges and Experiences in Managing Large-Scale Proofs.

Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski

Browse the full AISC paper archive.