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