(ↄ) | Dror Bar-Natan: AcademicPensieve: Projects: MetaCalculi:

About    Recent Changes    This Month    Random

Jump to: Mathematica Notebooks | Other Files

<< Mathematica Notebooks >>

	Notebook (.pdf)	Source (.nb)	Created	Last Modified	Summary
1	MetaCalculi-Program-150518	source	2015-12-17 20:18:23	2015-05-18 12:30:01	A common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/.
2	MetaCalculi-Testing-150518	source	2015-12-17 20:18:23	2015-05-18 12:40:38	Testing the common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/.

<< Other Files >>

MetaCalculi-Program-150518.m   MetaCalculi-Testing-150518.m  

---