jrpotter

0 Followers · 0 Following

• Joined on 2023-12-23

Repositories Projects Packages Public Activity Watched Repositories

Loading Heatmap…

jrpotter pushed to main at r/notebook

• 77fb7cfa0f Formal systems and hashing.

2024-07-27 13:02:38 +00:00

jrpotter pushed to main at r/notebook

• 0eeb72b9ec Notes on proof methods.

2024-07-24 12:31:21 +00:00

jrpotter pushed to main at r/notebook

• 5dc598393e More natural deduction and term sheet overview.

2024-07-22 16:58:59 +00:00

jrpotter pushed to main at r/notebook

• b498097731 Introductory notes on natural deduction.

2024-07-22 14:25:02 +00:00

jrpotter pushed to main at r/notebook

• b9504d7857 Nest abstract rewriting systems under formal systems.

2024-07-21 12:54:16 +00:00

jrpotter pushed to main at r/notebook

• 6ba651c41b Reorganize types of logic and formal systems.

2024-07-21 12:16:24 +00:00

jrpotter pushed to main at r/notebook

• 8530fbf45b Additional notes on assignment and textual substitution.

2024-07-20 18:33:10 +00:00

jrpotter pushed to main at r/notebook

• 2ab913f70e Prep for general textual substitution and assignment.

2024-07-20 15:42:06 +00:00

jrpotter pushed to main at r/nixos-configuration

• a47f17adf5 Bump notebook/quartz version.

2024-07-19 11:34:03 +00:00

jrpotter pushed to main at r/notebook

• 992dff94f4 Bump quartz version.

2024-07-19 11:32:08 +00:00

jrpotter pushed to main at r/nixos-configuration

• 0a5e9228a6 Update notebook/portfolio.
• d07816309d mullvad and vscode.
• Compare 2 commits »

2024-07-19 11:21:35 +00:00

jrpotter pushed to main at r/notebook

• a02bda1eed Fix up flashcards.
• 0c34a108cb Reorganize ARS and logic notes.
• 9acf6ca60e Beta-equality and dialetheism.
• af53475ee2 Notes on quotient sets, function kernels, and fibers.
• 77138cec45 Permissivism, raising money, condition codes.
• Compare 17 commits »

2024-07-19 11:19:57 +00:00

jrpotter pushed to main at r/notebook

• 6b13487ca4 Fix contraction flashcard.

2024-06-22 22:33:56 +00:00

jrpotter pushed to main at r/notebook

• b9b680585e beta-normal forms and ARSs.

2024-06-22 14:51:04 +00:00

jrpotter pushed to main at r/notebook

• 50ec869da9 Hashing, relations, VCs.
• f19695685c Daily notes.
• Compare 2 commits »

2024-06-22 01:30:06 +00:00

jrpotter pushed to main at r/notebook

• 7fc95d6533 Update quartz.

2024-06-15 18:25:35 +00:00

jrpotter pushed to main at r/notebook

• a73c219b53 Notes on alpha-conversion and beta-reduction.

2024-06-15 18:20:31 +00:00

jrpotter pushed to main at r/notebook

• 6c9e34e192 Expand notes on function categories.

2024-06-15 15:38:53 +00:00

jrpotter pushed to main at r/notebook

• 996f6c62da Notes on n-ary relations.

2024-06-14 01:48:00 +00:00

jrpotter pushed to main at r/notebook

• 420c0d3ab9 Fixup flashcards.

2024-06-13 12:35:21 +00:00