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