| (ↄ) | Dror Bar-Natan: AcademicPensieve: Projects: MetaCalculi: | About Recent Changes This Month Random |
| Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
|---|---|---|---|---|---|
| 1 | MetaCalculi-Program-150518 | source | 2024-03-17 10:28:57 | 2015-05-18 11:30:01 | A common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/. |
| 2 | MetaCalculi-Testing-150518 | source | 2024-03-17 10:28:57 | 2015-05-18 11:40:38 | Testing the common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/. |
| 3 | PairingForGamma-230112 | source | 2024-03-17 10:28:57 | 2023-01-12 06:26:16 | |
| 4 | PairingForGamma | source | 2024-03-17 10:28:57 | 2023-01-12 06:41:14 | |
| 5 | Scratch-230120 | source | 2024-03-17 10:28:57 | 2023-01-20 04:40:41 | |
| 6 | UnitaryGamma-230119 | source | 2024-03-17 10:28:57 | 2023-01-19 07:29:29 | Unitarity for Γ-calculus. |
| 7 | UnitaryGamma-230120 | source | 2024-03-17 10:28:57 | 2023-01-20 07:18:51 | Unitarity for Γ-calculus. |
| 8 | UnitaryGamma-230124 | source | 2024-03-17 10:28:57 | 2023-01-24 06:48:09 | Unitarity for Γ-calculus. |
| 9 | UnitaryGamma-230210 | source | 2024-03-17 10:28:57 | 2023-02-10 05:59:46 | Unitarity for Γ-calculus. |
| 10 | UnitaryGamma-230214 | source | 2024-03-17 10:28:57 | 2023-02-14 04:44:26 | Unitarity for Γ-calculus. |