| | Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary |
|---|
| 1 |
CUWork-190211 |
source |
2019-02-11 19:15:01 |
2019-02-11 19:52:35 |
The CU definitions. |
| 2 |
Engine-Speedy-190317 |
source |
2019-03-17 15:50:34 |
2019-03-18 06:14:22 |
The "speedy" engine. |
| 3 |
Engine-Speedy-190318 |
source |
2019-05-19 08:14:41 |
2019-05-19 08:15:20 |
The "Speedy" engine, before E3E4 de-clutter. |
| 4 |
Exponentiation-190613 |
source |
2019-06-16 16:55:13 |
2019-06-13 14:28:54 |
Exp relative to am, bm, cm, dm. |
| 5 |
Exponentiation-190616 |
source |
2019-06-16 20:19:02 |
2019-06-16 20:18:33 |
Exp relative to am, bm, cm, dm. |
| 6 |
Exponentiation-190617 |
source |
2019-06-17 11:50:41 |
2019-06-17 11:50:27 |
Exp relative to am, bm, cm, dm. |
| 7 |
IntegrationWithGammaCalculus-200408 |
source |
2020-06-19 11:21:53 |
2020-04-08 15:14:24 |
Integration with Γ-calculus. |
| 8 |
KV-190307 |
source |
2019-03-08 18:08:37 |
2019-03-07 18:05:05 |
Solving the KV equations ($k=0). |
| 9 |
Lambda |
source |
2019-06-07 10:34:48 |
2019-06-13 10:35:44 |
The Λ of CU. |
| 10 |
Objects-190510 |
source |
2019-05-18 12:22:17 |
2019-05-10 13:44:01 |
The Objects. |
| 11 |
Objects-190903 |
source |
2019-12-05 12:18:00 |
2019-09-03 18:37:24 |
The Objects. |