cbpv-reasonable-HOL

Chen, Zhuo Zoey; Åman Pohjola, Johannes; Rizkallah, Christine

doi:10.4230/artifacts.24718

Artifact

cbpv-reasonable-HOL Software

Authors Zhuo Zoey Chen , Johannes Åman Pohjola , Christine Rizkallah

Part of: Collection: Supplementary Materials
License: BSD 3-Clause "New" or "Revised" License
Publication Date: 2025-09-22

Document Identifiers

DOI: 10.4230/artifacts.24718
URN: urn:nbn:de:0030-drops-247180

Author Details

Zhuo Zoey Chen

University of Melbourne, Australia

Johannes Åman Pohjola

University of Gothenburg, Sweden

Christine Rizkallah

University of Melbourne, Australia

Content

Software (Mechanised Proof): https://github.com/ZhuoZoeyChen/cbpv-reasonable-HOL/
archived version

Version/Status

Content created at: 2025-06-28

Cite As Get BibTex

Zhuo Zoey Chen, Johannes Åman Pohjola, Christine Rizkallah. cbpv-reasonable-HOL (Software, Mechanised Proof). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24718

Subject Classification

Programming Languages

Standard ML

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