Skip to content

Support for let bindings in fiat2->bedrock2 expression compiler #1158

Support for let bindings in fiat2->bedrock2 expression compiler

Support for let bindings in fiat2->bedrock2 expression compiler #1158

Triggered via pull request August 17, 2023 14:49
Status Success
Total duration 1h 30m 12s
Artifacts

coq.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in