Lean Proofs

ci+hooks: auto-bootstrap Lean for web sessions + consolidate CI onto … #10

Sign in to view logs

Triggered via push June 5, 2026 12:23

main

Status Success

Total duration 17s

Artifacts –

lean-proofs.yml

on: push

Build Lean proofs (oracle)