Skip to content
/ LiTT Public

Moja prezentacja o Homotopicznej Teorii Typów na seminarium z Logiki i Teorii Typów

0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

wkolowski/LiTT

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

30 Commits

.gitignore

.gitignore

 
 

2paths.png

2paths.png

 
 

EqPathGrupoid.png

EqPathGrupoid.png

 
 

HoTT.pdf

HoTT.pdf

 
 

HoTT.tex

HoTT.tex

 
 

IdentityTypesSmall.png

IdentityTypesSmall.png

 
 

Zadania.pdf

Zadania.pdf

 
 

Zadania.tex

Zadania.tex

 
 

ap.png

ap.png

 
 

bussproofs.sty

bussproofs.sty

 
 

circle.png

circle.png

 
 

homotopy.png

homotopy.png

 
 

logic.png

logic.png

 
 

qinv.png

qinv.png

 
 

transport.png

transport.png

 
 

About

Moja prezentacja o Homotopicznej Teorii Typów na seminarium z Logiki i Teorii Typów

Topics

slides logic type-theory talk homotopy-theory seminar homotopy-type-theory foundations-of-mathematics
Activity

Stars

0 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages