Gregory's Server@tao it's exactly what I've been talking about coming to life. Look at the excerpt above I love it
|
3 comments
@tao Wow it gets even more epic I love this. Nobody even knows who this person is and they finished the proof!!  |
|
Top-level
@tao it's exactly what I've been talking about coming to life. Look at the excerpt above I love it 3 comments
@tao Wow it gets even more epic I love this. Nobody even knows who this person is and they finished the proof!! |
@tao also exactly what you mentioned about highly computational proofs benefiting from proof assistants a lot