4 votes Division by zero in type theory: a FAQ Posted July 7, 2020 by skybrian Tags: mathematics, proofs, faq, wordpress.xena https://xenaproject.wordpress.com/2020/07/05/division-by-zero-in-type-theory-a-faq/ Link information This data is scraped automatically and may be incorrect. Authors xenaproject Published Jul 5 2020 Word count 1322 words