Published August 11, 2025 | Version v1
Software Open

Rocq implementation of Bialgebraic semantics

Authors/Creators

  • 1. ROR icon Inria Rennes - Bretagne Atlantique Research Centre

Description

Software artifact for the paper "Time Aware Compilation Verified: A Category-Theoretic Approach in Rocq".

Files

coq_memocode.zip

Files (43.4 kB)

Name Size Download all
md5:3642c8a69095947f42fa231ab515fff2
43.4 kB Preview Download