| c | File Name | Size | T | Date |
|---|---|---|---|---|
| zip | solutions/ | 8 | --- | 2024-10-16 03:14:29 |
| - | S01_Implication_and_the_Universal_Quantifier.lean | 5189 | lean | 2024-06-18 13:31:17 |
| - | S02_The_Existential_Quantifier.lean | 4748 | lean | 2024-06-18 14:32:12 |
| - | S03_Negation.lean | 3379 | lean | 2024-06-18 15:43:37 |
| - | S04_Conjunction_and_Iff.lean | 5111 | lean | 2024-06-19 00:33:22 |
| - | S05_Disjunction.lean | 5247 | lean | 2024-06-19 13:14:41 |
| - | S06_Sequences_and_Convergence.lean | 4968 | lean | 2024-06-29 01:15:11 |