tt-in-cubical
Type Theory in Type Theory using Cubical Agda
tt-in-cubical 최신버젼 다운로드
최종 버전 다운로드 (.zip)// repository documentation
Was this content helpful?
(0 ratings)
