Login / Signup
Communicating Formal Proofs: The Case of Flyspeck.
Carst Tankink
Cezary Kaliszyk
Josef Urban
Herman Geuvers
Published in:
ITP (2013)
Keyphrases
</>
formal proofs
database
case study
high quality
probability distribution