Why is dependent type theory more suitable than set theory for proof assistants?mathoverflow.net5 pointsazhenley6 years ago