tt-in-cubical

(★ 15)

Type Theory in Type Theory using Cubical Agda

tt-in-cubical 최신버젼 다운로드

최종 버전 다운로드 (.zip)
// repository documentation