Cezary Kaliszyk

3PUBLICATIONS
1CO-AUTHORS
Mathematical logic, set theory, lattices and universal algebraData structures and algorithmsFormal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (3)

|May 30, 2023
Combining Higher-Order Logic with Set Theory Formalizations.

Cezary Kaliszyk, Karol Pąk

|Mar 08, 2021
Machine Learning Guidance for Connection Tableaux.

Michael Färber, Cezary Kaliszyk, Josef Urban

|Aug 03, 2018
Hammer for Coq: Automation for Dependent Type Theory.

Łukasz Czajka, Cezary Kaliszyk

Pageof 1

Frequent Collaborators