Giters
Brown CS22 (brown-cs22)

Brown CS22

brown-cs22

Geek Repo

CSCI 0220 | Discrete Structures and Probability

Home Page:https://cs22.io

Github PK Tool:Github PK Tool

Brown CS22's repositories

CS22-Lean-2024

Language:LeanStargazers:11Issues:0Issues:0

unified-autograder

Language:TeXStargazers:0Issues:0Issues:0

CS22-Lean-2023

Lean course materials for Brown CS 22, Spring 2023

Language:LeanStargazers:19Issues:0Issues:0

CS22-Lean-2023-private

Saved version (with solutions) of Lean course materials for Brown CS 22, Spring 2023

Stargazers:1Issues:0Issues:0

autograder

đź“„ TeX Autograder for Gradescope - determines if TeX file successfully compiles

Language:TeXStargazers:0Issues:0Issues:0