| c | File Name | Size | T | Date |
|---|---|---|---|---|
| zip | solutions/ | 8 | --- | 2024-10-16 03:14:07 |
| - | S01_Implication_and_the_Universal_Quantifier.lean | 4149 | lean | 2024-06-13 13:37:56 |
| - | S02_The_Existential_Quantifier.lean | 4182 | lean | 2024-06-13 13:37:56 |
| - | S03_Negation.lean | 2689 | lean | 2024-06-13 13:37:56 |
| - | S04_Conjunction_and_Iff.lean | 3859 | lean | 2024-06-13 13:37:56 |
| - | S05_Disjunction.lean | 2604 | lean | 2024-06-13 13:37:56 |
| - | S06_Sequences_and_Convergence.lean | 3056 | lean | 2024-06-13 13:37:56 |