(ↄ) | 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 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  

<< 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