Skip to content
Bridge Forbidden Phrases

proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure #10

Sign in to view logs

proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure

proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure #10

Triggered via pull request June 2, 2026 23:07
@hyperpolymathhyperpolymath
synchronize #133
proofs/q1-c-pilot-primitive-eq-axioms
Status Success
Total duration 11s
Artifacts –

bridge-forbidden-phrases.yml

on: pull_request
docs/ECHO-TYPES-OCHRANCE-BRIDGE forbidden-phrases
6s
docs/ECHO-TYPES-OCHRANCE-BRIDGE forbidden-phrases
Fit to window
Zoom out
Zoom in