Working papers

  • Translating between implicit and explicit versions of proof, by Roberto Blanco, Zakaria Chihani and Dale Miller. Draft dated 26 February 2017, accepted for CADE-26.

Recent publications

  • An interactive assistant for the definition of proof certificates, by Roberto Blanco and Zakaria Chihani. In the seminar in honor of the 60th birthday of Dale Miller (Dale Fest), Paris, France, 15 December 2016.

  • Proof outlines as proof certificates: a system description, by Roberto Blanco and Dale Miller. In: I. Cervesato and C. Schürmann (eds.), Proceedings of the First International Workshop on Focusing (WoF’15), Suva, Fiji, 23 November 2015. Electronic Proceedings in Theoretical Computer Science, vol. 197, pp. 7-14.

  • Defining the meaning of TPTP formatted proofs, by Roberto Blanco, Tomer Libal and Dale Miller. In: B. Konev, S. Schulz and L. Simon (eds.), Proceedings of the 11th International Workshop on the Implementation of Logics (IWIL-2015), Suva, Fiji, 23 November 2015. EPiC Series in Computing, vol. 40, pp. 78-90.