The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [electronic resource]

By: Contributor(s): Publication details: Journal of automated reasoning 2018Description: 9-32 p. digitalISSN:
  • 1573-0670
Online resources: In: Journal of automated reasoning vol. 61
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Publication Type: Journal Article

There are no comments on this title.

to post a comment.