Skip to main content
School of Technology and Computer Science
Feedback
Resources
Login
Search form
Search
Academics
Graduate Studies
Academic Calendar
Courses
Course Timetable
Research
Areas
Events + News
News
Upcoming Events
STCS Colloquium
Past Events
Calendar
People
Faculty
Adjunct Faculty
Visiting Fellows
Students
Staff
Visitors
Former Members
Resources
ZoomCal
Course Registration System
YouTube channel
Videos
Wireless Service
Ricoh for Mac
Admissions
Join Us
Vigyan Vidushi
VV 2022
VV 2021
Overview
Details and Schedule
Special Lectures
Contact
Contact Us
Reaching Here
You are here
Home
Topics in Interactive Proof Checking
print
Instructor:
N Raja
Semester:
2017 Autumn/Monsoon (Aug - Dec)
