Repository navigation

Lean Proofs

fix(tg-0): Tangle.lean compiles cleanly + wire CI build oracle #1

Sign in to view logs

Triggered via pull request June 1, 2026 13:58

opened #33

chore/tg-0-lean-build-oracle

Status Success

Total duration 25s

Artifacts –

lean-proofs.yml

on: pull_request

Build Lean proofs (oracle)