25 citations · 39 across the 12 of their papers we have counts for
1 paper · 1 filter
Melanie Taprogge, Frédéric Blanqui, Alexander Steen
We identify common challenges and requirements for verifying proofs from automated theorem provers in the Dedukti logical framework and develop a general methodology for deriving e…