GitHub - nmmull/CS491-S24: Material for the course CAS CS 491: Type Theory and Mechanized Reasoning (Spring 2024) · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 64 Commits
Assignments		Assignments
Code		Code
Notes		Notes
Slides		Slides
index.html		index.html
index.org		index.org
style.css		style.css

About

Material for the course CAS CS 491: Type Theory and Mechanized Reasoning (Spring 2024)

Report repository

Releases

No releases published

Packages

Contributors

Languages