Anatta: type theory, formal logic and mathematics can help us understand each other better

[axkirillov]

Can we have new one about the tetralema though? Cause I’m intrigued.