6 citations · 15 across the 9 of their papers we have counts for
1 paper · 1 filter
Łukasz Czajka, Cezary Kaliszyk
Hammers are tools that provide general purpose automation for formal proof assistants. Despite the gaining popularity of the more advanced versions of type theory, there are no ham…