| 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. |