Skip to content
stan

Parameterize Expr and Reft by the variable type #427

Sign in to view logs

Parameterize Expr and Reft by the variable type

Parameterize Expr and Reft by the variable type #427

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ghc-9.6.5 z3-4.10.2
11m 44s
11m 44s