Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It (Artifact)

Stepanenko, Sergei; Timany, Amin

doi:10.5281/zenodo.15406039

Published May 14, 2025 | Version v1

Software Open

Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It (Artifact)

1. Aarhus University

The artifact for the paper "Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It" (https://doi.org/10.4230/LIPIcs.FSCD.2025.30) published at FSCD 2025.

Files

Files (132.2 kB)

Name	Size	Download all
synthetic_dmains.tar.gz md5:32125ce8d388086d38af30d1a21a3372	132.2 kB	Download

Additional details

Is supplement to: Conference proceeding: 10.4230/LIPIcs.FSCD.2025.30 (DOI)

Repository URL: https://github.com/logsem/synthetic_domains/

189

Views

Downloads

Show more details

	All versions	This version
Views	189	189
Downloads	25	25
Data volume	3.3 MB	3.3 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Conference

10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025) , Birmingham, UK, July 14–20, 2025

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

Technical metadata

Created: May 14, 2025
Modified: May 14, 2025

Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It (Artifact)

Creators

Description

Files

Files (132.2 kB)

Additional details

Related works

Software