gobro/mit_6.S087
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Verified Software Engineering Spring 2025 offering This experimental offering attacks some of the core material of 6.102 (Software Construction) from a different perspective. https://canvas.mit.edu/courses/32073
24 commits 1 branch 0 tags 22 MiB
  • Dafny 99.7%
  • Shell 0.2%
  • Nix 0.1%
Find a file
Exact
gobro 13d30ee1e6
 pset7: finish proof for Red Black Tree
2026-04-19 18:27:21 -04:00
.devcontainer dev: fix typo error in vscode dafny extension 2026-03-11 16:14:14 -04:00
lectures feat: add skeleton files 2026-01-30 22:57:58 -05:00
problem_sets pset7: finish proof for Red Black Tree 2026-04-19 18:27:21 -04:00
textbook feat: add skeleton files 2026-01-30 22:57:58 -05:00
.envrc dev: add flake nix config 2026-02-05 21:19:10 -05:00
.gitignore dev: add flake nix config 2026-02-05 21:19:10 -05:00
flake.lock dev: update flake 2026-04-19 18:26:50 -04:00
flake.nix dev: update flake 2026-04-19 18:26:50 -04:00
Syallabus.md feat: add skeleton files 2026-01-30 22:57:58 -05:00