Formal Mathematics on Display: A Wiki for Flyspeck
From MaRDI portal
Publication:2843012
DOI10.1007/978-3-642-39320-4_10zbMath1390.68751arXiv1305.5710OpenAlexW1847583149WikidataQ108482175 ScholiaQ108482175MaRDI QIDQ2843012
Carst Tankink, Herman Geuvers, Josef Urban, Cezary Kaliszyk
Publication date: 9 August 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1305.5710
Related Items (7)
A FORMAL PROOF OF THE KEPLER CONJECTURE ⋮ Learning to Parse on Aligned Corpora (Rough Diamond) ⋮ Automating formalization by statistical and semantic parsing of mathematics ⋮ An integrated web platform for the Mizar Mathematical Library ⋮ HOL(y)Hammer: online ATP service for HOL Light ⋮ Towards Knowledge Management for HOL Light ⋮ Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description
Uses Software
This page was built for publication: Formal Mathematics on Display: A Wiki for Flyspeck
