Karol Pąk
Has grant
University Name
Research Interests
Explore related searches
Contact this professor
Recent Grants
Grant: Close
Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa
Open Date: 2016-07-01
Close Date:
Grant: Close
Independent Verification of Mizar Logic
Open Date: 2016-05-01
Close Date: 2018-05-01
Grant: Close
Algorithms concerning the legibility of natural deduction proofs
Open Date: 2013-07-01
Close Date: 2017-01-01
Articles (10)
Year:
2021
Year:
2020
Collaborators (1)
Cezary Kaliszyk
Associate Professor
University of Innsbruck
AUSTRIA
How do I reach out?
Sign in for free to see their profile details and contact information.