Aleksey Zubakov

ottergottaott

• doing 👨‍🏫 all day neprav.t.me

• Joined on Sep 23, 2022

52 Followers 18 Following

Repositories Public Activity Starred Repositories

1

Packages

Loading Heatmap…

ottergottaott created branch master in sci-hunt/projs-2025-spring

9 months ago

ottergottaott pushed to master at sci-hunt/projs-2025-spring

• c14fdd8949 Init: add frontend project description

9 months ago

ottergottaott created repository sci-hunt/projs-2025-spring

9 months ago

ottergottaott transferred repository ottergottaott/projs-2024-autumn to sci-hunt/projs-2024-autumn

9 months ago

ottergottaott pushed to main at sci-hunt/projs-2024-autumn

• 83f13eed4c Update projects

1 year ago

ottergottaott pushed to main at sci-hunt/projs-2024-autumn

• 0a19c7068a fix up reference

1 year ago

ottergottaott pushed to main at sci-hunt/projs-2024-autumn

• faa6c52f7b fix up Readme.md

1 year ago

ottergottaott pushed to main at sci-hunt/projs-2024-autumn

• e8fec0d5be init commit

1 year ago

ottergottaott created branch main in sci-hunt/projs-2024-autumn

1 year ago

ottergottaott pushed to main at sci-hunt/projs-2024-autumn

• c1826e21a4 init commit

1 year ago

ottergottaott created repository sci-hunt/projs-2024-autumn

1 year ago

ottergottaott pushed to master at ottergottaott/home-library

• c67c9af1e9 More books and type theory shelve

3 years ago

ottergottaott pushed to master at ottergottaott/home-library

• 3a1a67ad04 Add software foundations shelve

3 years ago

ottergottaott pushed to master at ottergottaott/home-library

• e6aa2359b7 Add computation intro pdf

3 years ago

ottergottaott pushed to master at ottergottaott/home-library

• 36d2ac2110 Add not working journal entry

3 years ago

ottergottaott pushed to master at ottergottaott/home-library

• 2725b14e74 Some reorganisation

3 years ago

ottergottaott pushed to master at ottergottaott/home-library

• 31c3b78fdc Some reorganisation

3 years ago

ottergottaott pushed to master at ottergottaott/home-library

• f0f6e4935d Update look

3 years ago

ottergottaott pushed to master at ottergottaott/home-library

• b83245a70a Update look

3 years ago

ottergottaott pushed to master at ottergottaott/home-library

• 291836c46d Fix indentation

3 years ago