GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ lukaszcz
1 open source projects by lukaszcz
[ Open user page on Github ]
1.
Coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
✭ 157
ocaml
automation
coq
verification
1-1
of
1
user projects
