 Joshua Potter
|
4f8c3383f1
|
Update to lean v4.3.0
|
2023-12-14 13:29:09 -07:00 |
|
Joshua Potter
|
f215a3180a
|
Enderton (set). Chapter 6 formatting.
More consistent header levels throughout.
|
2023-11-11 15:15:03 -07:00 |
|
Joshua Potter
|
f990a7a30a
|
Enderton. Reorder theorems in Lean modules and add set/logic prompts.
|
2023-08-17 18:04:20 -06:00 |
|
Joshua Potter
|
1eff704803
|
Start fixing up unverified.
|
2023-08-09 12:59:23 -06:00 |
|
Joshua Potter
|
7fe780e72f
|
Drop `Common.Set.Interval` and `Common.Set.Partition`.
|
2023-07-25 07:28:20 -06:00 |
|
Joshua Potter
|
56751a6f3b
|
Use a consistent naming convention.
|
2023-05-12 11:08:52 -06:00 |
|
Joshua Potter
|
60724c0b52
|
Generalize set functions and move partitions in anticipation
of Apostol 1.11 exercise 8.
|
2023-05-12 07:05:31 -06:00 |
|
Joshua Potter
|
c5e28d252f
|
Correct namespaces and update `bookshelf-docgen`.
|
2023-05-10 17:20:56 -06:00 |
|
Joshua Potter
|
acd8b3edff
|
Finish formally proving Apostol chapter I.3.
|
2023-05-10 15:15:04 -06:00 |
|
Joshua Potter
|
fe6cb7e074
|
Rename `Exercises` to `Bookshelf`.
|
2023-05-08 14:08:48 -06:00 |