switch to basic browser
📂
📝
📟

🌲 / sam syncthing Code mathematics_in_lean my_files C04_Sets_and_Functions

c File Name Size T Date
zipsolutions/5---2024-10-16 03:18:10
-S01_Sets.lean7013lean2024-06-21 13:04:51
-S02_Functions.lean5962lean2024-06-22 14:11:51
-S03_The_Schroeder_Bernstein_Theorem.lean3253lean2024-06-22 15:10:18

control-panel

π
3084a26acc5e // 40.6 GiB free of 108 GiB