ottergottaott pushed to master at sci-hunt/projs-2025-spring
-
c14fdd8949 Init: add frontend project description
6 months ago
ottergottaott created repository sci-hunt/projs-2025-spring
6 months ago
ottergottaott
transferred repository ottergottaott/projs-2024-autumn
to sci-hunt/projs-2024-autumn
6 months ago
ottergottaott pushed to main at sci-hunt/projs-2024-autumn
-
0a19c7068a fix up reference
10 months ago
ottergottaott pushed to main at sci-hunt/projs-2024-autumn
-
faa6c52f7b fix up Readme.md
10 months ago
ottergottaott created repository sci-hunt/projs-2024-autumn
10 months ago
ottergottaott pushed to master at ottergottaott/home-library
-
c67c9af1e9 More books and type theory shelve
2 years ago
ottergottaott pushed to master at ottergottaott/home-library
-
3a1a67ad04 Add software foundations shelve
2 years ago
ottergottaott pushed to master at ottergottaott/home-library
-
e6aa2359b7 Add computation intro pdf
2 years ago
ottergottaott pushed to master at ottergottaott/home-library
-
36d2ac2110 Add not working journal entry
2 years ago
ottergottaott pushed to master at ottergottaott/home-library
-
2725b14e74 Some reorganisation
2 years ago
ottergottaott pushed to master at ottergottaott/home-library
-
31c3b78fdc Some reorganisation
2 years ago