Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
mkehrt comments on
Open Thread: February 2010, part 2
mkehrt
18 Feb 2010 2:12 UTC
1
point
That is true, but specifying the theorem to be proven is not always easy.
Back to top
That is true, but specifying the theorem to be proven is not always easy.