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

About    Recent Changes    This Month    Random

Jump to: Mathematica Notebooks | Other Files

2012-05: beta5.1  

<< Mathematica Notebooks >>

	Notebook (.pdf)	Source (.nb)	Created	Last Modified	Summary
1	Calculator-140517	source	Sun 17 Mar 2024 10:27:57	Sat 17 May 2014 10:00:37
2	MetaCalculi-Program	source	Sun 17 Mar 2024 10:27:57	Mon 2 Jun 2014 07:31:59	A common program for all w-meta-calculi. Continued pensieve://2014-06/MetaCalculi/.
3	MetaCalculi-Testing	source	Sun 17 Mar 2024 10:27:57	Thu 29 May 2014 06:33:07

<< Other Files >>

MetaCalculi-Program.m   MetaCalculi-Testing.m  

---