60 citations · 85 across the 6 of their papers we have counts for
1 paper · 1 filter
Roberto Blanco, Dale Miller
We apply the foundational proof certificate (FPC) framework to the problem of designing high-level outlines of proofs. The FPC framework provides a means to formally define and che…