Distributed Parallel Build for the Isabelle Archive of Formal Proofs.

Fabian Huch, Makarius Wenzel

Browse the full ITP paper archive.