initiality
initiality
copied to clipboard
Published
20 hours ago
•
guillaumebrunerie
→
Metadata
A formalized proof of a version of the initiality conjecture
Readme
Issues
←
Metadata
39
Stars
3
Forks
Watchers
Owner
guillaumebrunerie
Metadata
A formalized proof of a version of the initiality conjecture
Back