Skip to content
coq-action

README: update with link to paper and ongoing work #427

Sign in to view logs

README: update with link to paper and ongoing work

README: update with link to paper and ongoing work #427

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 17s
2m 17s