cubicaltt

Experimental implementation of Cubical Type Theory (by mortberg)

Cubicaltt Alternatives

Similar projects and alternatives to cubicaltt based on common topics and language

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better cubicaltt alternative or higher similarity.

Suggest an alternative to cubicaltt

Reviews and mentions

Posts with mentions or reviews of cubicaltt. We have used some of these posts to build our list of alternatives and similar projects.
  • Plato’s Cave Found in Mathematics
    1 project | reddit.com/r/AcademicPhilosophy | 25 Jan 2021
    I updated the blog post to include some people in academia who contributed. I've been interacting with Kent Palmer and Sylvester James Gates, Jr. The latter held lectures about the philosophy of mathematics. I've been using work inspired by Vladimir Voevodsky, e.g. cubicaltt (https://github.com/mortberg/cubicaltt), which is also performed by academics.

Stats

Basic cubicaltt repo stats
1
494
0.0
4 months ago

mortberg/cubicaltt is an open source project licensed under MIT License which is an OSI approved license.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Find remote jobs at our new job board 99remotejobs.com.
There are 32 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.