The type system of mathematics #1 Post by primodemus » Fri, Jan 19, 2018, 2:59 PM UTC The type system of mathematicsqchu.wordpress.com