| c | File Name | Size | T | Date |
|---|---|---|---|---|
| - | Solutions_S01_Implication_and_the_Universal_Quantifier.lean | 3252 | lean | 2024-06-13 13:37:56 |
| - | Solutions_S02_The_Existential_Quantifier.lean | 1820 | lean | 2024-06-13 13:37:56 |
| - | Solutions_S03_Negation.lean | 2043 | lean | 2024-06-13 13:37:56 |
| - | Solutions_S04_Conjunction_and_Iff.lean | 1849 | lean | 2024-06-13 13:37:56 |
| - | Solutions_S05_Disjunction.lean | 3235 | lean | 2024-06-13 13:37:56 |
| - | Solutions_S06_Sequences_and_Convergence.lean | 4179 | lean | 2024-06-13 13:37:56 |