(ↄ) | Dror Bar-Natan: AcademicPensieve: 2014-07: | About Recent Changes This Month Random |
2014-05: MetaCalculi Projects: MetaCalculi
Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
---|---|---|---|---|---|
1 | ClosedComponents | source | 2024-03-17 10:27:58 | 2015-05-12 06:01:52 | Studying closed components in Γ-calculus. |
2 | MetaCalculi-Program | source | 2024-03-17 10:27:58 | 2015-10-06 08:26:07 | A common program for all w-meta-calculi. Continues pensieve://2014-06/MetaCalculi/, continued pensieve://Projects/MetaCalculi/. |
3 | MetaCalculi-Testing | source | 2024-03-17 10:27:58 | 2015-10-06 08:26:02 | Testing the common program for all w-meta-calculi. Continues pensieve://2014-06/MetaCalculi/, continued pensieve/Projects/MetaCalculi/. |