search

siddhartha-gadgil / LTS2019

Web page, code for "Logic, Types Spaces 2019" at IISc
http://math.iisc.ac.in/~gadgil/LTS2019/
MIT License
9 stars 13 forks source link

readme

UM102

Join the chat at https://gitter.im/siddhartha-gadgil/LTS2019 Build Status

web page, assignments, notes etc for the course UM 102 at IISc