| ▲ | Ericson2314 a day ago | |
Uh by "specialized theories" you mean less general results. Such a straightjacket is totally against the spirit of math. | ||
| ▲ | fspeech a day ago | parent [-] | |
Have you looked at how much Lean proofs are just translations between types? | ||