Evan Cavallo

icon indicating a website link ecavallo.net icon indicating an email [email protected]

icon company Göteborgs universitet

Results 2 repositories owned by Evan Cavallo

ptt

32
Stars
0
Forks
32
Watchers

Experimental type-checker for internally parametric type theory

verified publisher icon ecavallo

equivariant-cartesian

20
Stars
0
Forks
20
Watchers

formalization of an equivariant cartesian cubical set model of type theory

verified publisher icon ecavallo