Skip to content
Nix CI

try to make tactics and their options clearer in the tutorial #165

Sign in to view logs

try to make tactics and their options clearer in the tutorial

try to make tactics and their options clearer in the tutorial #165

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coq = "master")
4m 18s
4m 18s