130 citations · 228 across the 17 of their papers we have counts for
1 paper · 2 filters
Jesse Alama
When formalizing proofs with interactive theorem provers, it often happens that extra background knowledge (declarative or procedural) about mathematical concepts is employed witho…