9 citations · 9 across the 2 of their papers we have counts for
1 paper · 1 filter
Lasse Blaauwbroek, David Cerna, Thibault Gauthier +4
Automated theorem provers and formal proof assistants are general reasoning systems that are in theory capable of proving arbitrarily hard theorems, thus solving arbitrary problems…