Hacker News

points by Ericson2314 2 days ago | 0 comments

Uh by "specialized theories" you mean less general results. Such a straightjacket is totally against the spirit of math.

Have you looked at how much Lean proofs are just translations between types?