Agent Skills: topos-logic
Topoi: cartesian closed + subobject classifier.
UncategorizedID: plurigrid/asi/topos-logic
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for topos-logic.
Loading file tree…
Select a file to preview its contents.