ChristianKl comments on Open Thread May 9 - May 15 2016 - Less Wrong

3 Post author: Elo 09 May 2016 01:55AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (85)

Sort By: Best

You are viewing a single comment's thread.

Comment author: ChristianKl 13 May 2016 10:54:19AM 2 points [-]

Is there a public database for math proofs in a form where they can be read by computers?

Comment author: bogus 13 May 2016 11:21:09AM 4 points [-]