ConCert icon indicating copy to clipboard operation
ConCert copied to clipboard

Published 20 hours ago • verified publisher icon AU-COBRA

Update to MetaCoq 1.3

Open womeier opened this issue 10 months ago • 7 comments

I was looking into extracting the counter module to concordium, using our Wasm backend for CertiCoq.

CertiCoq is currently on MetaCoq 1.3, which ConCert doesn't seem to work with.

Do you already have plans to update?

womeier avatar Apr 09 '24 05:04 womeier