Brown CS22

CSCI 0220 | Discrete Structures and Probability

Pinned Repositories

autograder
📄 TeX Autograder for Gradescope - determines if TeX file successfully compiles
Language:TeX00
CS22-Lean-2023
Lean course materials for Brown CS 22, Spring 2023
Language:Lean19 3 024
CS22-Lean-2023-private
Saved version (with solutions) of Lean course materials for Brown CS 22, Spring 2023
Language:Lean10
CS22-Lean-2024
Language:Lean11 3 033
unified-autograder
Language:TeX0 1 01

Brown CS22's Repositories

brown-cs22/CS22-Lean-2023
Lean course materials for Brown CS 22, Spring 2023
Language:Lean19 3 024
brown-cs22/CS22-Lean-2024
Language:Lean11 3 033
brown-cs22/CS22-Lean-2023-private
Saved version (with solutions) of Lean course materials for Brown CS 22, Spring 2023
Language:Lean10
brown-cs22/autograder
📄 TeX Autograder for Gradescope - determines if TeX file successfully compiles
Language:TeX00
brown-cs22/unified-autograder
Language:TeX0 1 01