Livejournal
Log in
Post
Friends
My journal
roseandsigil
(Untitled)
roseandsigil
Feb 10, 2010 08:16
We need to spend less time on inventing theorem provers, and instead work on provem theorers!
sleepdep
,
research
Leave a comment
5
Up