Challenges and Experiences in Managing Large-Scale Proofs.

Timothy Bourke Matthias Daum Gerwin Klein Rafal Kolanski

Published in: AISC/MKM/Calculemus (2012)

Keyphrases

real world
lessons learned
small scale
case study
open issues
machine learning
key issues
real time
search engine
social media
theorem proving
technical challenges
natural deduction