Login / Signup

Communicating Formal Proofs: The Case of Flyspeck.

Carst TankinkCezary KaliszykJosef UrbanHerman Geuvers
Published in: ITP (2013)
Keyphrases
  • formal proofs
  • database
  • case study
  • high quality
  • probability distribution