Results 1 to 10 of about 27 (27)

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

open access: yesJ Autom Reason, 2018
Bancerek G   +6 more
europepmc   +1 more source
Some of the next articles are maybe not open access.

Home - About - Disclaimer - Privacy