Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Why is dependent type theory more suitable than set theory for proof assistants? | Heykuki News
Why is dependent type theory more suitable than set theory for proof assistants?
mathoverflow.net
5 points
azhenley
6 years ago
No comment yet