← Back to context

Comment by auggierose

2 days ago

In the end, every specification is specified via natural language, this is just where the buck stops. All math books are written in natural language, even the ones about specification languages.