(ↄ) | Dror Bar-Natan: AcademicPensieve: 2014-05: | About Recent Changes This Month Random |
2012-05: beta5.1
Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
---|---|---|---|---|---|
1 | Calculator-140517 | source | 2024-03-17 11:27:57 | 2014-05-17 11:00:37 | |
2 | MetaCalculi-Program | source | 2024-03-17 11:27:57 | 2014-06-02 08:31:59 | A common program for all w-meta-calculi. Continued pensieve://2014-06/MetaCalculi/. |
3 | MetaCalculi-Testing | source | 2024-03-17 11:27:57 | 2014-05-29 07:33:07 |