| (ↄ) | 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 11:28:57 | 2015-05-18 12:30:01 | A common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/. |
| 2 | MetaCalculi-Testing-150518 | source | 2024-03-17 11:28:57 | 2015-05-18 12:40:38 | Testing the common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/. |
| 3 | PairingForGamma-230112 | source | 2024-03-17 11:28:57 | 2023-01-12 07:26:16 | |
| 4 | PairingForGamma | source | 2024-03-17 11:28:57 | 2023-01-12 07:41:14 | |
| 5 | Scratch-230120 | source | 2024-03-17 11:28:57 | 2023-01-20 05:40:41 | |
| 6 | UnitaryGamma-230119 | source | 2024-03-17 11:28:57 | 2023-01-19 08:29:29 | Unitarity for Γ-calculus. |
| 7 | UnitaryGamma-230120 | source | 2024-03-17 11:28:57 | 2023-01-20 08:18:51 | Unitarity for Γ-calculus. |
| 8 | UnitaryGamma-230124 | source | 2024-03-17 11:28:57 | 2023-01-24 07:48:09 | Unitarity for Γ-calculus. |
| 9 | UnitaryGamma-230210 | source | 2024-03-17 11:28:57 | 2023-02-10 06:59:46 | Unitarity for Γ-calculus. |
| 10 | UnitaryGamma-230214 | source | 2024-03-17 11:28:57 | 2023-02-14 05:44:26 | Unitarity for Γ-calculus. |