Skip to content
Agda

proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH target in --safe kernel #746

Sign in to view logs

proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH target in --safe kernel

proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH target in --safe kernel #746

Triggered via pull request June 15, 2026 18:11
@hyperpolymathhyperpolymath
opened #225
claude/confident-shannon-xf0Td
Status Success
Total duration 12m 31s
Artifacts –

agda.yml

on: pull_request
check
1m 56s
check
cold-check
12m 26s
cold-check
Fit to window
Zoom out
Zoom in