 Joshua Potter
|
5d7e3acfbb
|
Update to Chiry 6.2.3.
https://github.com/cotes2020/jekyll-theme-chirpy/releases/tag/v6.2.3
|
2023-11-08 01:03:01 -07:00 |
|
Joshua Potter
|
bad94a3e29
|
Bookshelf. Commit `4f371ac`.
|
2023-11-08 00:26:56 -07:00 |
|
Joshua Potter
|
c4bbaa2cf8
|
Bookshelf. Commit `05639fd`.
|
2023-11-07 19:03:46 -07:00 |
|
Joshua Potter
|
4fdca45a63
|
Bookshelf. Commit `a579918`.
|
2023-09-27 19:33:53 -06:00 |
|
Joshua Potter
|
a5799188e8
|
Enderton (set). Commit `2a85d52`.
|
2023-09-19 08:40:58 -06:00 |
|
Joshua Potter
|
ff68fa65e2
|
Enderton (set). Commit `7959c47`.
|
2023-09-16 17:56:21 -06:00 |
|
Joshua Potter
|
89dcdf7b7c
|
Enderton (set). Wrap pigeonhole theorem into aux.
|
2023-09-14 10:01:24 -06:00 |
|
Joshua Potter
|
0cddde3c68
|
Enderton (set). Prove pigeonhole principle.
|
2023-09-14 09:00:53 -06:00 |
|
Joshua Potter
|
c52972ec9d
|
Enderton (set). Isomorphism between ℕ and peano systems.
|
2023-09-09 05:16:31 -06:00 |
|
Joshua Potter
|
ec3e348425
|
Require simp to make progress.
|
2023-09-08 18:51:00 -06:00 |
|
Joshua Potter
|
38cfd0da12
|
Update Lean4 to stable version.
|
2023-09-08 14:20:04 -06:00 |
|
Joshua Potter
|
2f88c819f2
|
Enderton (set/logic). Commit `3bf6f13`.
|
2023-08-26 18:44:36 -06:00 |
|
Joshua Potter
|
5b1042ba6d
|
Enderton. Commit `9e9072c`.
|
2023-08-23 14:48:42 -06:00 |
|
Joshua Potter
|
06e5098147
|
Enderton (logic). Commit `6eaea4b`.
|
2023-08-23 09:08:36 -06:00 |
|
Joshua Potter
|
199bb533d6
|
Enderton (logic). Commit `6c5fbf8`.
|
2023-08-21 18:31:12 -06:00 |
|
Joshua Potter
|
dd65e7b625
|
Enderton (logic). Bump `c458eca`.
|
2023-08-21 14:52:51 -06:00 |
|
Joshua Potter
|
6d2e751385
|
Enderton. Add prompts/reorder theorems.
|
2023-08-17 18:07:05 -06:00 |
|
Joshua Potter
|
81a1de343e
|
Enderton (logic). Continue working through section 1.1.
|
2023-08-15 15:05:25 -06:00 |
|
Joshua Potter
|
d5054dfa57
|
Enderton (logic). Test cross-referencing.
|
2023-08-14 13:46:04 -06:00 |
|
Joshua Potter
|
41d0833fbe
|
Enderton (set). Add ordinal number prompts and add assumption box.
|
2023-08-13 10:04:28 -06:00 |
|
Joshua Potter
|
cbe0b95056
|
Enderton (set). Chapter 4 exercises.
|
2023-08-12 14:00:15 -06:00 |
|
Joshua Potter
|
0a480dc849
|
Enderton (set). Continue refining ordering theorems/exercises.
|
2023-08-11 18:59:57 -06:00 |
|
Joshua Potter
|
c230d74af8
|
Update mathlib links to refer to Lean's hosted index instead.
|
2023-08-10 11:31:38 -06:00 |
|
Joshua Potter
|
84fe822ddc
|
Cleaner notes outline.
|
2023-08-10 11:18:12 -06:00 |
|
Joshua Potter
|
e46df849f9
|
Enderton. Continue verifying pending proofs.
Organize custom proofs over Lean-provided ones.
|
2023-08-09 15:57:26 -06:00 |
|
Joshua Potter
|
fce5582301
|
Simplify Lean link referencing.
|
2023-08-09 10:07:51 -06:00 |
|
Joshua Potter
|
ae1f67d188
|
Distinguish Lean builtin theorems from custom ones.
Update theorems that were "verified" using builtins to "pending".
|
2023-08-08 20:52:55 -06:00 |
|
Joshua Potter
|
79ede6b639
|
Enderton (logic). Draft chapter 0/1 theorems/exercises.
|
2023-08-08 14:53:13 -06:00 |
|
Joshua Potter
|
21d5906dc4
|
Enderton. Theorem 4N and Corollary 4P.
|
2023-08-08 08:56:29 -06:00 |
|
Joshua Potter
|
a3422c9201
|
Enderton. Finish drafting prompts of Natural Numbers section.
|
2023-08-05 11:19:59 -06:00 |
|
Joshua Potter
|
6327f2726f
|
Enderton. Fix up note on theorem ordering.
|
2023-08-05 06:25:06 -06:00 |
|
Joshua Potter
|
34f87b3f8b
|
Enderton. Prove ordering theorems and fix injective successor proof.
|
2023-08-04 18:26:49 -06:00 |
|
Joshua Potter
|
85d1205c3e
|
Enderton. Finish ordering on natural numbers section.
|
2023-08-04 09:45:42 -06:00 |
|
Joshua Potter
|
618620d39d
|
Enderton. Progress on arithmetic theorems.
|
2023-08-02 13:55:27 -06:00 |
|
Joshua Potter
|
3984d0ece8
|
Update bookshelf index/pdf links.
|
2023-08-01 12:52:07 -06:00 |
|
Joshua Potter
|
21b850275b
|
Enderton. Up to recursion on natural numbers.
|
2023-08-01 12:43:17 -06:00 |
|
Joshua Potter
|
5dff8857c8
|
Update Lake/Lean toolchain.
|
2023-07-31 07:50:39 -06:00 |
|
Joshua Potter
|
ef2f3ef068
|
Enderton. Remove port placeholders.
Also updates doc-gen4 to commit `9b524d7`.
|
2023-07-26 13:49:43 -06:00 |
|
Joshua Potter
|
f823f6623a
|
Mirror subtext styling on projects from home.
|
2023-07-25 07:33:35 -06:00 |
|
Joshua Potter
|
70727de6ab
|
Drop `Common.Set.Interval` and `Common.Set.Partition`.
|
2023-07-25 07:29:12 -06:00 |
|
Joshua Potter
|
057cd9f587
|
Enderton. Peano's postulates.
|
2023-07-25 06:30:01 -06:00 |
|
Joshua Potter
|
a280500941
|
Add projects module once again, stylized differently.
|
2023-07-25 06:29:34 -06:00 |
|
Joshua Potter
|
a41c2ba0fe
|
Enderton. Peano systems.
|
2023-07-21 14:26:00 -06:00 |
|
Joshua Potter
|
43a45589da
|
Fix ordering of tabs.
|
2023-07-19 11:56:05 -06:00 |
|
Joshua Potter
|
6bd497ddfd
|
Remove concept of categories entirely.
|
2023-07-19 05:12:36 -06:00 |
|
Joshua Potter
|
4323eadd4f
|
Enderton. Finish ordering relation exercises/theorems.
|
2023-07-18 16:34:41 -06:00 |
|
Joshua Potter
|
1b2edde0b5
|
Remove categories tab.
|
2023-07-18 14:54:08 -06:00 |
|
Joshua Potter
|
481698a9cc
|
Revert archives to Chirpy supported template.
|
2023-07-18 14:14:15 -06:00 |
|
Joshua Potter
|
5abb439097
|
Remove projects page in favor of consolidated projects/posts home.
|
2023-07-18 14:13:17 -06:00 |
|
Joshua Potter
|
02c84caf8e
|
Revise PDF output.
|
2023-07-17 18:00:16 -06:00 |