Published April 12, 2024 | Version v1
Software Open

Cubetac: Solver for Boundary Goals in Cubical Type Theory

Authors/Creators

  • 1. ROR icon University of Oxford

Description

Implementation of algorithms from Chapters 4 and 5 of thesis Computing Spaces in Type Theory (2024).

Files

source.zip

Files (38.8 kB)

Name Size
md5:974975ddc49cf1e7210b5b6c069009e1
38.8 kB Preview Download

Additional details

Software

Repository URL
https://github.com/maxdore/cubetac/
Programming language
Haskell