Lean Proofs

chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) #23

Sign in to view logs

Triggered via pull request June 24, 2026 17:09

opened #59

chore/licence-normalisation-2026-06-24

Status Success

Total duration 18h 3m 24s

Artifacts –

lean-proofs.yml

on: pull_request

Build Lean proofs (oracle)