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

About    Recent Changes    This Month    Random

Jump to: Mathematica Notebooks | Other Files

2014-05: MetaCalculi   Projects: MetaCalculi  

<< Mathematica Notebooks >>

	Notebook (.pdf)	Source (.nb)	Created	Last Modified	Summary
1	ClosedComponents	source	Sun 17 Mar 2024 10:27:58	Tue 12 May 2015 06:01:52	Studying closed components in Γ-calculus.
2	MetaCalculi-Program	source	Sun 17 Mar 2024 10:27:58	Tue 6 Oct 2015 08:26:07	A common program for all w-meta-calculi. Continues pensieve://2014-06/MetaCalculi/, continued pensieve://Projects/MetaCalculi/.
3	MetaCalculi-Testing	source	Sun 17 Mar 2024 10:27:58	Tue 6 Oct 2015 08: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  

---