There is a newer version of the record available.

Published June 26, 2024 | Version artifact-mfcs-2024-v1
Software Open

hezzel/cora: Artifact for MFCS 2024

Authors/Creators

  • 1. Radboud University Nijmegen

Description

This release contains the artifact for MFCS 2024 paper.

Files

hezzel/cora-artifact-mfcs-2024-v1.zip

Files (785.0 kB)

Name Size Download all
md5:f1d5ea631347e31f1ac2b6a3e6015446
785.0 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/hezzel/cora/tree/artifact-mfcs-2024-v1 (URL)