C0 VSCode Language Support - Visual Studio Marketplace
Extension for Visual Studio Code - C0 IDE features for VSCode
cmu15122/c0-lsp-vscode
Introduction to Software Construction
Googledoc for "Introduction to Software Construction"
CS 15-122: Principles of Imperative Computation (Spring 2023)
Guide for Lab Authors - Autolab Documentation