Skip to content
CodeQL Security Analysis

proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT #104

Sign in to view logs

proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT

proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT #104

Run time

Learn about OS pricing on GitHub Actions
Job Run time
analyze (actions, none)
48s
48s