hotdocx/emdash

emdash — Functorial Type Theory (proof-assistant for ω-categories)

2Stars on the repository
2Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied

cursorrules

01

hotdocx/emdash

Cursor rule Cursor

The file README.md contain some basic initial information (the Functional Requirements PRD document) about the current project. The README.md MAY BE OUTDATED AND MAY BE INCOMPLETE.

2 2d ago A 199 tokens