(ↄ) | Dror Bar-Natan: AcademicPensieve: 2014-06:

About    Recent Changes    This Month    Random

Jump to: Mathematica Notebooks | Other Files

2014-05: MetaCalculi  

<< Mathematica Notebooks >>

	Notebook (.pdf)	Source (.nb)	Created	Last Modified	Summary
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  

---