ricky136973/sdt-agda: arXiv v1

Published July 19, 2026 | Version arxiv-v1

Software Open

No description provided.

Files

Name	Size
ricky136973/sdt-agda-arxiv-v1.zip md5:97da3e14efe57074d24f41cca1c1b2bc	16.0 kB	Preview Download

Is supplement to: Software: https://github.com/ricky136973/sdt-agda/tree/arxiv-v1 (URL)

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more