cAERN library

Konečný, Michal; Park, Sewon; Thies, Holger

doi:10.4230/artifacts.22444

Artifact

cAERN library Software

Authors Michal Konečný, Sewon Park, Holger Thies

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22444
URN: urn:nbn:de:0030-drops-224447

Author Details

Michal Konečný

Aston University

Sewon Park

Kyoto University

Holger Thies

Kyoto University

Content

Software (Source Code): https://github.com/holgerthies/coq-aern
archived version

Version/Status

Content created at: 2021-04-22

Cite As Get BibTex

Michal Konečný, Sewon Park, Holger Thies. cAERN library (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22444

Subject Classification

Programming Languages

Coq
Haskell
Shell
HTML
Makefile

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail