Redtt a proof assistant for cartesian cubical type theory

Article URL: https://github.com/RedPRL/redtt

Comments URL: https://news.ycombinator.com/item?id=25576358

Points: 1

# Comments: 0

from Hacker News: Newest https://ift.tt/2OQ9UXK