Lean Verification Build

chore: estate standardization remainder — contractiles restructure, nix removal, Guix manifests, TruffleHog #65

Sign in to view logs

Triggered via pull request July 1, 2026 21:15

synchronize #151

proofs/q5-propositional-equiv-restructure

Status Success

Total duration 1m 37s

Artifacts –

lean-verification.yml

on: pull_request

Build and Test Lean Extraction Pipeline