Rezk Types
Explores Rezk types and complete Segal spaces in homotopy type theory.
/rezk-types
More in Research
- Research.component LibsOrchestrates comprehensive research across multiple design systems and libraries.
- Researcher Rigor GateVerifies alignment, feasibility, rigor, and completeness before plan submission.
- ResearchquestionsWrites structured research prompts with questions only, no answers.
- ResonanceCaptures moments of insight, joy, and connection with notes on why they resonate.
- Route ResearcherAggregates weather, avalanche conditions, and trip reports for mountain climbs.
- ScholasticApplies scholastic method framework for structured argumentative analysis.
- Scoping SurveyMaps landscape of existing solutions and approaches in a domain.
- ScoutResearches market opportunities and product gaps before building.