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

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

<< Shortcuts >>  
2014-05: MetaCalculi   Projects: MetaCalculi  

<< Mathematica Notebooks >>

 Notebook (.pdf)Source (.nb)CreatedLast ModifiedSummary
1 ClosedComponents source 2015-12-17 20:14:59 2015-05-12 07:01:52 Studying closed components in Γ-calculus.
2 MetaCalculi-Program source 2015-12-17 20:14:59 2015-10-06 09:26:07 A common program for all w-meta-calculi. Continues pensieve://2014-06/MetaCalculi/, continued pensieve://Projects/MetaCalculi/.
3 MetaCalculi-Testing source 2015-12-17 20:14:59 2015-10-06 09:26:02 Testing the common program for all w-meta-calculi. Continues pensieve://2014-06/MetaCalculi/, continued pensieve/Projects/MetaCalculi/.

<< Other Files >>

ClosedComponents.m   MetaCalculi-Program.m   MetaCalculi-Testing.m  


   <<  MetaCalculi  >>

All Subdirectories

nb  

All Files

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