This repository contains all my theroy reports, written assignments and programming code that I wrote/referrd for the DL course at IIT,Madras taught my advisor Prof.Mitesh Khapra.
-
Updated
May 30, 2018 - Jupyter Notebook
#
theroy-reports
Here are 2 public repositories matching this topic...
Report on advancements in Type Theory and application of Program Verification
programming-language verification proof-assistant type-theory quantum-computing theory program-verification quantum-programming-language typesystem theroy-reports language-verification
-
Updated
Oct 23, 2018 - TeX
Improve this page
Add a description, image, and links to the theroy-reports topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the theroy-reports topic, visit your repo's landing page and select "manage topics."