Skip to content

Model Type Theory: prototype implementation - #1335

Open
tslil-topos wants to merge 1 commit into
mainfrom
tslil/model_type_theory_1
Open

Model Type Theory: prototype implementation#1335
tslil-topos wants to merge 1 commit into
mainfrom
tslil/model_type_theory_1

model type theory

41a4a82
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar