New posts in Univalent Foundations

Can all mathematical operations be encoded with a Turing Complete language?