Skip to content
Docker CI

Translate non recursive let to nontac expr when possible #34

Sign in to view logs

Translate non recursive let to nontac expr when possible

Translate non recursive let to nontac expr when possible #34

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
2m 2s
2m 2s