Instant Sync

feat(tg-1): let-binding + de Bruijn substitution metatheory (weakenin… #75

Sign in to view logs

Triggered via push June 13, 2026 12:06

main

Status Success

Total duration 27s

Artifacts –

instant-sync.yml

on: push

Annotations

1 notice

Propagation triggered for tangle