Flyspeck I: Tame Graphs.

Tobias Nipkow, Gertrud Bauer, Paula Schultz

Browse the full CADE paper archive.