The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-017-9440-6
Abstract: 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… read more here.
Keywords: interactive proof; mizar mathematical; proof; proof development ... See more keywords