The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that an important milestone in the development of these systems was the...

Descripción completa

Detalles Bibliográficos
Autores principales: Bancerek, Grzegorz, Byliński, Czesław, Grabowski, Adam, Korniłowicz, Artur, Matuszewski, Roman, Naumowicz, Adam, Pąk, Karol
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Netherlands 2017
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6044251/
https://www.ncbi.nlm.nih.gov/pubmed/30069070
http://dx.doi.org/10.1007/s10817-017-9440-6

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6044251/
https://www.ncbi.nlm.nih.gov/pubmed/30069070
http://dx.doi.org/10.1007/s10817-017-9440-6

Ejemplares similares