You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

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

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.

Article Navigation

Comments (85)
Tags: open_thread

Comments (85)

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 [-]

http://us.metamath.org ?

Powered by Reddit Powered by Reddit