The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.
Saved in:
| Title: | The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. |
|---|---|
| Authors: | Bancerek, Grzegorz1, bancerek@mizar.org, Byliński, Czesław2, bylinski@mizar.org, Grabowski, Adam3, adam@mizar.org, Korniłowicz, Artur3, arturk@mizar.org, Matuszewski, Roman4, romat@mizar.org, Naumowicz, Adam3, adamn@mizar.org, Pąk, Karol3, pakkarol@uwb.edu.pl |
| Source: | Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p9-32, 24p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01687433 |
|---|---|
| DOI: | 10.1007/s10817-017-9440-6 |
