pdf23ds comments on Dreams of Friendliness

[pdf23ds]

(Not the fully automated ones, the interactive ones like Isabelle and Coq.)