An example of formalizing recent mathematical results in Mizar
Saved in:
| Title: | An example of formalizing recent mathematical results in Mizar |
|---|---|
| Authors: | Naumowicz, Adam1, adamn@mizar.org |
| Source: | Journal of Applied Logic; Dec2006, Vol. 4 Issue 4, p396-413, 18p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15708683 |
|---|---|
| DOI: | 10.1016/j.jal.2005.10.003 |
