Login / Signup
Formal Mathematics on Display: A Wiki for Flyspeck
Carst Tankink
Cezary Kaliszyk
Josef Urban
Herman Geuvers
Published in:
CoRR (2013)
Keyphrases
</>
real time
computer science
formal model
formal methods
information systems
collaborative learning
formal analysis
computer assisted instruction
formal representation