Agent Skills: ordered-locale
Ordered Locales (Heunen-van der Schaaf 2024): Point-free topology with direction. Frame + compatible preorder with open cone conditions.
UncategorizedID: plurigrid/asi/ordered-locale
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for ordered-locale.
Loading file tree…
Select a file to preview its contents.