3084a26acc5e // 40.6 GiB free of 108 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| - | Solutions_S01_Implication_and_the_Universal_Quantifier.lean | 3252 | 2024-06-13 13:37:56 |
| - | Solutions_S02_The_Existential_Quantifier.lean | 1820 | 2024-06-13 13:37:56 |
| - | Solutions_S03_Negation.lean | 2043 | 2024-06-13 13:37:56 |
| - | Solutions_S04_Conjunction_and_Iff.lean | 1849 | 2024-06-13 13:37:56 |
| - | Solutions_S05_Disjunction.lean | 3235 | 2024-06-13 13:37:56 |
| - | Solutions_S06_Sequences_and_Convergence.lean | 4179 | 2024-06-13 13:37:56 |