(ↄ) | Dror Bar-Natan: AcademicPensieve: 2013-11: | About Recent Changes This Month Random |
2011-11 2013-04 2012-07: beta7.0 DoubleTree.pdf
Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
---|---|---|---|---|---|
1 | DoubleTreeVerification | source | 2024-03-17 11:27:54 | 2015-07-09 02:47:40 | Formula testing for the future double-tree paper; continues pensieve://2013-10/. |
2 | muCalculus | source | 2024-03-17 11:27:54 | 2013-11-25 06:03:27 | μ-calculus programs, continues pensieve://2013-05/. |
3 | TrialityComputations | source | 2024-03-17 11:27:54 | 2015-07-09 00:55:11 | Understanding Rot120 / Triality. |