initiality icon indicating copy to clipboard operation
initiality copied to clipboard

Published 20 hours ago • verified publisher icon guillaumebrunerie
→

Metadata

A formalized proof of a version of the initiality conjecture

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

← Metadata

39
Stars
3
Forks
Watchers

Owner

verified publisher icon guillaumebrunerie

Metadata

A formalized proof of a version of the initiality conjecture

Back