3 ms·

Thanks for sharing. So it is basically a research programming language implementing some modern mathematical theories?

• alimw 7y ago
  While Homotopy Theory is just one strand in modern mathematics, it is believed that a type theory based on it can serve as a foundation for the whole of mathematics.