mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
Join the conversation
Reviews · Questions · Posts
Share what you know about cubicaltt — write a review from your real experience, ask an implementation question, or publish a post about how you use it.
Share your experience
Write or update your review
Explain what worked, what broke down, and what another team should know before adopting cubicaltt.
Project Q&A
Questions and answers
Browse implementation threads tied directly to mortberg/cubicaltt. Each question links through to the full answer page.
Be the first to ask how teams run cubicaltt in production. Every question you post becomes a durable, searchable answer page other developers can find.
Ask the first questionRelated posts
Posts tagged with the same topics
These posts come from the same topic surface as this repo, so readers can move from project evaluation into practical writeups and migration notes without leaving context.
Share how your team uses cubicaltt — a migration note, an architecture writeup, or a comparison. Your post reaches everyone browsing these same topics.
Write the first post