stefaniatadama/cubical

Purdy, Chris; Damato, Stefania

doi:10.4230/artifacts.24065

Artifact

stefaniatadama/cubical Software

Authors Chris Purdy , Stefania Damato

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-07-28

Document Identifiers

DOI: 10.4230/artifacts.24065
URN: urn:nbn:de:0030-drops-240655

Author Details

Chris Purdy

Royal Holloway University of London, Egham, UK

Stefania Damato

School of Computer Science, University of Nottingham, UK

Content

Software (Source Code): https://github.com/stefaniatadama/cubical/tree/distr-laws

Version/Status

Content created at: 2024-05-28
Status: WIP (at the time of publication 2025-07-28)

Cite As Get BibTex

Chris Purdy, Stefania Damato. stefaniatadama/cubical (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24065

Subject Classification

Programming Languages

Agda
Haskell
Nix
Makefile

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail