software

mizar-items software on GitHub

Open Source
Abstract
Breaking up mizar articles into bits and computing relations among them.
Download from
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue