Foundations icon indicating copy to clipboard operation
Foundations copied to clipboard

Published 20 hours ago • verified publisher icon vladimirias
→

Metadata

Voevodsky's original development of the univalent foundations of mathematics in Coq

Results 0 Foundations issues
Sort by recently updated
recently updated
newest added

← Metadata

46
Stars
3
Forks
Watchers

Owner

verified publisher icon vladimirias

Metadata

Voevodsky's original development of the univalent foundations of mathematics in Coq

Back