Name | Size | Last Modified |
|---|---|---|
| 00_first_proofs.lean | 17.9 KB | |
| 01_equality_rewriting.lean | 5.7 KB | |
| 02_iff_if_and.lean | 15.5 KB | |
| 03_forall_or.lean | 9.2 KB | |
| 04_exists.lean | 3 KB | |
| 05_sequence_limits.lean | 7.6 KB | |
| 06_sub_sequences.lean | 4.8 KB | |
| 07_first_negations.lean | 8.7 KB | |
| 07bis_abstract_negations.lean | 2.4 KB | |
| 08_limits_negation.lean | 5 KB | |
| 09_limits_final.lean | 12.8 KB | |
| tuto_lib.lean | 6.7 KB |
