equivariant-cartesian icon indicating copy to clipboard operation
equivariant-cartesian copied to clipboard

Published 1 year ago • verified publisher icon ecavallo
→

Metadata

formalization of an equivariant cartesian cubical set model of type theory

Results 0 equivariant-cartesian issues
Sort by recently updated
recently updated
newest added

← Metadata

20
Stars
0
Forks
20
Watchers

Owner

verified publisher icon ecavallo

Metadata

formalization of an equivariant cartesian cubical set model of type theory

Back