Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface

Devs

Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface | Read Paper on Bytez