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

formalization of an equivariant cartesian cubical set model of type theory

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