Search filters

List of works by Karol Pąk

Isabelle Formalization of Set Theoretic Structures and Set Comprehensions

scientific article

Isabelle Import Infrastructure for the Mizar Mathematical Library

scientific article

Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic

scientific article

Progress in the Independent Certification of Mizar Mathematical Library in Isabelle

scientific article

Reducing vertices in property graphs

scientific article published on 14 February 2018

Semantics of Mizar as an Isabelle Object Logic

scientific article

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

scientific article published on 25 November 2017

Towards a Mizar environment for Isabelle: foundations and language

scientific article

Paulina is supported by:

About Paulina

Help