Cargando…
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...
| Autores principales: | , , , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Springer Netherlands
2017
|
| Materias: | |
| 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 |