Papers: 10.1007/s10817-017-9440-6

https://doi.org/10.1007/s10817-017-9440-6

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

Cited by: 148
Author(s): Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk
Published: over 7 years ago

Software Mentions 1