Giters

francoisthire / kubatipo

Attempt to encode Cubical Type Theory in Dedukti

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Attempt to encode Cubical Type Theory in Dedukti

License:The Unlicense

Languages

Language:Makefile 100.0%