switch to basic browser
📂
📝
📟

🌲 / sam syncthing Documents school master_thesis isabelle

c File Name Size T Date
-Decreasing_Diagrams.thy124045thy2024-06-24 14:50:04
-Decreasing_Diagrams.thy~124045thy~2024-06-24 14:50:04

control-panel

π
3084a26acc5e // 40.6 GiB free of 108 GiB