switch to basic browser
📂
📝
📟

🌲 / sam syncthing Code mathematics_in_lean my_files C04_Sets_and_Functions solutions

c File Name Size T Date
-Solutions_S01_Sets.lean2913lean2024-06-13 13:41:12
-Solutions_S02_Functions.lean5635lean2024-06-21 18:07:48
-Solutions_S03_The_Schroeder_Bernstein_Theorem.lean2390lean2024-07-19 00:02:26

control-panel

π
3084a26acc5e // 40.6 GiB free of 108 GiB