Comment Comment by vez- Check out Homotopy Type Theory / Univalent Type Theory and HoTTest summer school :) parent vez- 4 years ago
