|
|
|
|
|
|
by semolinapudding
314 days ago
|
|
|
For what it's worth, I don't think that Kevin Buzzard is the person you should talk to if you are interested in proof assistant design. As far as I know, Buzzard does not consider himself to be an expert in type theory or in proof assistants, and claims to be a mere user. |
|
|