feat: full verification pipeline — Verus, Rocq, Lean Bazel integration#76

avrabe merged 3 commits intomainpulseengine/sigil:mainfrom

feat/full-verification-pipelinepulseengine/sigil:feat/full-verification-pipelineCopy head branch name to clipboard