(ↄ) | Dror Bar-Natan: AcademicPensieve: 2014-05: About Recent Changes This Month Random

<< MetaCalculi >>
Jump to: Mathematica Notebooks | Other Files

<< Shortcuts >>
2012-05: beta5.1

<< Mathematica Notebooks >>

Notebook (.pdf)Source (.nb)CreatedLast ModifiedSummary
1 Calculator-140517 source Sun 17 Mar 2024 10:27:57 Sat 17 May 2014 10:00:37
2 MetaCalculi-Program source Sun 17 Mar 2024 10:27:57 Mon 2 Jun 2014 07:31:59 A common program for all w-meta-calculi. Continued pensieve://2014-06/MetaCalculi/.
3 MetaCalculi-Testing source Sun 17 Mar 2024 10:27:57 Thu 29 May 2014 06:33:07

<< Other Files >>

MetaCalculi-Program.m MetaCalculi-Testing.m

<< MetaCalculi >>

All 1 Subfolders

nb

All 7 Files

beta5.1 - Shortcut.lnk Calculator-140517.nb index.html MetaCalculi-Program.m MetaCalculi-Program.nb MetaCalculi-Testing.m MetaCalculi-Testing.nb
(ↄ) | Dror Bar-Natan: AcademicPensieve: 2014-05: MetaCalculi: :

AltStyle によって変換されたページ (->オリジナル) /