3 ms·Why is dependent type theory more suitable than set theory for proof assistants?5 points by azhenley 6y ago