github:plurigrid/asi · first committed 2025-12-22 · source · badge
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type theory.
Listed, not yet scored. This skill has no public model test yet. It is in the scoring queue; submitted skills go first, then the most-installed.
1 commit to this file on GitHub (newest first).