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
221 points
pgustafs
6 years ago
59 comments
Loading...