4 ms·
There is CoqHammer[1] and ProverBot[2] for going even further - proving the theorems. [1] https://github.com/lukaszcz/coqhammer https://github.com/lukaszcz/coq
by xvilka 7y ago
There is CoqHammer[1] and ProverBot[2] for going even further - proving the theorems.
[1] https://github.com/lukaszcz/coqhammer https://github.com/lukaszcz/coqhammer
[2] https://github.com/UCSD-PL/proverbot9001 https://github.com/UCSD-PL/proverbot9001