Results 1 to 10 of about 30 (30)

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

Hilbert's Early Metatheory Revisited. [PDF]

open access: yesErkenntnis
Giovannini EN, Schiemer G.
europepmc   +1 more source

Home - About - Disclaimer - Privacy