pdf23ds comments on Dreams of Friendliness - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (78)
(Not the fully automated ones, the interactive ones like Isabelle and Coq.)