 Joshua Potter
|
7bc0ae9e1a
|
Update bookshelf listing.
|
2023-07-16 14:58:04 -06:00 |
|
Joshua Potter
|
22c0e344ad
|
Enderton. Draft up last parts of chapter 3.
|
2023-07-13 13:56:25 -06:00 |
|
Joshua Potter
|
3bb9fa3551
|
Enderton. Continue equivalence class exercises.
|
2023-07-11 16:50:45 -06:00 |
|
Joshua Potter
|
52b84c61a9
|
Add linkedin bio.
|
2023-07-09 13:58:47 -06:00 |
|
Joshua Potter
|
ba88e5527d
|
Update domain name.
|
2023-07-09 07:37:43 -06:00 |
|
Joshua Potter
|
25efdac910
|
Add link to Zotero.
|
2023-07-09 07:08:21 -06:00 |
|
Joshua Potter
|
57bdf98669
|
Enderton. Most of function exercises.
|
2023-07-07 20:31:08 -06:00 |
|
Joshua Potter
|
52ffd98661
|
Enderton. Exercises 3.12-3.18.
|
2023-07-05 17:03:50 -06:00 |
|
Joshua Potter
|
fcf5cd69ae
|
Enderton. Def'n, function solutions, and equivalence relation prompts.
|
2023-07-03 15:50:55 -06:00 |
|
Joshua Potter
|
91d54252c6
|
Distinguishing "in progress" from "unverified but complete."
|
2023-06-30 11:54:48 -06:00 |
|
Joshua Potter
|
d1fa3bedbc
|
Add `mathabx` dependency and normalize headers.
|
2023-06-29 17:03:00 -06:00 |
|
Joshua Potter
|
0e757070db
|
Reorganize bookshelf modules for book-specific purposes.
|
2023-06-29 15:31:08 -06:00 |
|
Joshua Potter
|
610b4123c2
|
Move set theoretic-specific modules out of `Common` into `Enderton`.
|
2023-06-29 15:26:50 -06:00 |
|
Joshua Potter
|
b6cf8bfc68
|
Enderton. Fix exercise names.
|
2023-06-29 14:55:47 -06:00 |
|
Joshua Potter
|
c3d391d8eb
|
Add missing tab icons.
|
2023-06-28 15:45:20 -06:00 |
|
Joshua Potter
|
cda78af7b7
|
Enderton. Function problem prompts.
|
2023-06-28 15:32:03 -06:00 |
|
Joshua Potter
|
26f68f452b
|
Enderton. Finish function theorems.
|
2023-06-28 13:20:19 -06:00 |
|
Joshua Potter
|
d8916f01a7
|
Enderton. Formally verify more of the theorem 3 set.
|
2023-06-26 15:11:53 -06:00 |
|
Joshua Potter
|
bd3368f495
|
Enderton. Continue proving functions.
|
2023-06-23 15:48:25 -06:00 |
|
Joshua Potter
|
9792e3fc0c
|
Enderton. Finish exercises 6.
|
2023-06-22 14:35:47 -06:00 |
|
Joshua Potter
|
d467dc994a
|
Enderton. Break out relations/ordered pairs. Exercise 6.7.
|
2023-06-20 15:03:04 -06:00 |
|
Joshua Potter
|
396e38c21a
|
Add dark mode to bookshelf.
|
2023-06-20 11:43:40 -06:00 |
|
Joshua Potter
|
42dd8cdc62
|
Enderton. Finish exercise set 5. Prep for exercise set 6.
|
2023-06-15 15:32:36 -06:00 |
|
Joshua Potter
|
66e227b2dc
|
Enderton. Move def'n of `OrderedPair`.
|
2023-06-10 16:02:53 -06:00 |
|
Joshua Potter
|
41e90e1c27
|
Enderton. Fix `Chapter_2` build errors.
|
2023-06-10 13:12:42 -06:00 |
|
Joshua Potter
|
6e4cbe48bb
|
Enderton. Exercises 5 in LaTeX.
|
2023-06-10 06:12:25 -06:00 |
|
Joshua Potter
|
ce6959439a
|
Enderton. Ordered pairs.
|
2023-06-08 17:57:56 -06:00 |
|
Joshua Potter
|
63c284acb9
|
Manual installation of tex packages.
|
2023-06-07 09:30:35 -06:00 |
|
Joshua Potter
|
953a99a892
|
Default bash and recursive submodules.
|
2023-06-07 07:46:40 -06:00 |
|
Joshua Potter
|
aa70762f84
|
Drop lean/ directory in favor of workflow.
|
2023-06-06 23:41:35 -04:00 |
|
Joshua Potter
|
4d08343eb0
|
Add bookshelf build to workflow.
|
2023-06-06 23:03:59 -04:00 |
|
Joshua Potter
|
69eecbbf5a
|
Enderton. Chapter 2 and Theorem 3A.
|
2023-06-06 22:35:12 -04:00 |
|
Joshua Potter
|
9773ea3f33
|
Update Enderton, "Axioms and Operations."
|
2023-05-22 16:54:15 -06:00 |
|
Joshua Potter
|
44a58af8d9
|
Enderton set theory update.
|
2023-05-21 18:50:07 -06:00 |
|
Joshua Potter
|
cdb3e77597
|
Enderton, Sets - Informal View.
|
2023-05-19 09:30:02 -06:00 |
|
Joshua Potter
|
fc7bc7bf1a
|
Update Apostol 1.22.
|
2023-05-17 15:40:57 -06:00 |
|
Joshua Potter
|
eb5e6d228a
|
Update bookshelf - Apostol 1.18,19
|
2023-05-16 16:30:21 -06:00 |
|
Joshua Potter
|
5b04cdec01
|
Add missing PDFs.
|
2023-05-16 14:09:32 -06:00 |
|
Joshua Potter
|
3da201a852
|
Add support for recursive make.
|
2023-05-16 14:09:24 -06:00 |
|
Joshua Potter
|
f86614f5db
|
Update bookshelf, Apostol 1.15.
|
2023-05-16 13:57:39 -06:00 |
|
Joshua Potter
|
5985f8405d
|
Update bookshelf.
|
2023-05-15 15:56:52 -06:00 |
|
Joshua Potter
|
23e466176d
|
Update bookshelf.
|
2023-05-13 07:02:54 -06:00 |
|
Joshua Potter
|
4ca8206c24
|
Update bookshelf.
|
2023-05-12 17:29:19 -06:00 |
|
Joshua Potter
|
988e05daff
|
Add "defined" status to bookshelf.
|
2023-05-10 20:21:42 -06:00 |
|
Joshua Potter
|
dda6aaa1a5
|
Fix cross-references.
|
2023-05-10 19:18:49 -06:00 |
|
Joshua Potter
|
b4b2679c56
|
Allow cross-referencing PDFs.
|
2023-05-10 18:29:53 -06:00 |
|
Joshua Potter
|
8b27d5a3b4
|
Update bookshelf.
|
2023-05-10 15:51:16 -06:00 |
|
Joshua Potter
|
6fc3473421
|
Update bookshelf, Apostol Chapter 1.11.
|
2023-05-09 16:22:49 -06:00 |
|
Joshua Potter
|
a0dd143868
|
Automate build with Makefile.
|
2023-05-09 16:21:17 -06:00 |
|
Joshua Potter
|
f83bd7f0eb
|
Remove unused `.bundle` directory.
|
2023-05-08 20:52:13 -06:00 |