Łukasz Czajka

icon indicating a website link lukaszcz.github.io

icon location compiler construction, programming language design, proof automation, computational logic

Results 1 repositories owned by Łukasz Czajka

coqhammer

208
Stars
29
Forks
Watchers

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

verified publisher icon lukaszcz