← Back to context

Comment by UltraSane

3 days ago

Formally verifying all of math would be an amazing achievement by humanity.