Skip to content
Hypatia Security Scan

proofs(idris2): close all proof holes at the root — 0 holes, 0 new axioms (#151) #395

Sign in to view logs

proofs(idris2): close all proof holes at the root — 0 holes, 0 new axioms (#151)

proofs(idris2): close all proof holes at the root — 0 holes, 0 new axioms (#151) #395

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Hypatia Neurosymbolic Analysis
52s
52s