LC4S-Rocq

Ståhl, Casper; Gondelman, Levs; Hansen, René Rydhof; Poulsen, Danny Bøgsted

doi:10.4230/artifacts.27330

Artifact

LC4S-Rocq Software

Authors Casper Ståhl , Levs Gondelman , René Rydhof Hansen , Danny Bøgsted Poulsen

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-07-30

Document Identifiers

DOI: 10.4230/artifacts.27330
URN: urn:nbn:de:0030-drops-273309

Author Details

Casper Ståhl

Aalborg University, Denmark

Levs Gondelman

Aalborg University CPH, Copenhagen, Denmark

René Rydhof Hansen

Aalborg University, Denmark

Danny Bøgsted Poulsen

Aalborg University, Denmark

Content

Software (Source code): https://github.com/CasperStaahl/LC4S-Rocq
archived version

Version/Status

Content created at: 2026-05-21

Cite As Get BibTex

Casper Ståhl, Levs Gondelman, René Rydhof Hansen, Danny Bøgsted Poulsen. LC4S-Rocq (Software, Source code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27330

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

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