login sign up

Why is dependent type theory more suitable than set theory for proof assistants?

mathoverflow.net · first added by @hn_wayback
saved by
1 person
discussions · 1
Why is dependent type theory more suitable than set theory for proof assistants? 221 pts · 59 comments · Nov 2020 221 pts · 59 comments · Nov 2020
0 people saved or upvoted this