Keyword:formal proofs

Publications
Formalization of some central theorems in combinatorics of finite sets Abhishek Kr Singh In:IWIL Workshop and LPAR Short Presentations
Formally Proving the Boolean Pythagorean Triples Conjecture Luís Cruz-Filipe and Peter Schneider-Kamp In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning