theroy-reports

There are 2 repositories under theroy-reports topic.

NiteshMethani/Deep-Learning-CS7015
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.
Language:Jupyter Notebook8 1 08
SatyendraBanjare/Type-Theory-notes
Report on advancements in Type Theory and application of Program Verification
Language:TeX1 2 00