Personal information

Activities

Funding (3)

Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

2016-07 to present | Grant
Polish National Science Center (Krakow, PL)
GRANT_NUMBER:

DEC-2015/19/D/ST6/01473

Source: Self-asserted source
Karol Pąk

Independent Verification of Mizar Logic

2016-05 to 2018-05 | Grant
OeAD-GmbH (Vienna, AT)
GRANT_NUMBER:

PL 03/2016

Source: Self-asserted source
Karol Pąk

Algorithms concerning the legibility of natural deduction proofs

2013-07 to 2017-01 | Grant
Polish National Science Center (Krakow, PL)
GRANT_NUMBER:

DEC-2012/07/N/ST6/02147

Source: Self-asserted source
Karol Pąk