Updates are available Correction dated 2014-10-18

Click to view Correction: https://doi.org/10.1007/s10817-014-9315-z

Learning-Assisted Automated Reasoning with Flyspeck

Crossref DOI link: https://doi.org/10.1007/s10817-014-9303-3

Published Online: 2014-06-01

Published Print: 2014-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy

About CrossMark