BrownCS1951x

Pinned Repositories

fpv2021
Lecture notes, exercises, homeworks for Brown CS1951x 2021
Language:Lean8 4 05
fpv2022
Lecture notes, exercises, homeworks for Brown CS1951x 2022
Language:Lean32
fpv2023
Lecture notes, exercises, homeworks for Brown CS1951x 2023
Language:Lean12 4 011

BrownCS1951x's Repositories

BrownCS1951x/fpv2023
Lecture notes, exercises, homeworks for Brown CS1951x 2023
Language:Lean12 4 011
BrownCS1951x/fpv2021
Lecture notes, exercises, homeworks for Brown CS1951x 2021
Language:Lean8 4 05
BrownCS1951x/fpv2022
Lecture notes, exercises, homeworks for Brown CS1951x 2022
Language:Lean32