 Joshua Potter
|
aa6d8db120
|
Area and induction.
|
2024-11-09 19:23:36 -07:00 |
|
Joshua Potter
|
4dc9e0fab1
|
Alternative commands, BSTs, RDF.
|
2024-07-30 06:25:23 -06:00 |
|
Joshua Potter
|
77fb7cfa0f
|
Formal systems and hashing.
|
2024-07-27 07:02:30 -06:00 |
|
Joshua Potter
|
0eeb72b9ec
|
Notes on proof methods.
|
2024-07-24 06:31:14 -06:00 |
|
Joshua Potter
|
b9b680585e
|
beta-normal forms and ARSs.
|
2024-06-22 08:50:51 -06:00 |
|
Joshua Potter
|
a9d0925080
|
Copenhagen notes.
|
2024-05-09 14:29:12 -06:00 |
|
Joshua Potter
|
fc098cdaf2
|
Induction and heaps.
|
2024-05-02 07:23:53 -06:00 |