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

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

<< Shortcuts >>  
2014-05: MetaCalculi  

<< Mathematica Notebooks >>

 Notebook (.pdf)Source (.nb)CreatedLast ModifiedSummary
1 MetaCalculi-Program source 2024-03-17 10:27:57 2014-07-23 06:02:39 A common program for all w-meta-calculi. Continues pensieve://2014-05/MetaCalculi/, continued pensieve://2014-07/MetaCalculi/.
2 MetaCalculi-Testing source 2024-03-17 10:27:57 2014-07-23 06:03:15 Testing the common program for all w-meta-calculi. Continues pensieve://2014-05/MetaCalculi/, continued pensieve://2014-07/MetaCalculi/.

<< Other Files >>

MetaCalculi-Program.m   MetaCalculi-Testing.m  


   <<  MetaCalculi  >>

All 1 Subfolders

nb  

All 6 Files

index.html   MetaCalculi-2014-05 - Shortcut.lnk   MetaCalculi-Program.m   MetaCalculi-Program.nb   MetaCalculi-Testing.m   MetaCalculi-Testing.nb