GitHub repository: sophieehill/teaching-formal-theory
Created: 2021-06-17T17:45:50Z
Description: Section materials for Gov 2006, a graduate-level course on formal theory