TypeScript/JavaScript Blocker

proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b… #5

Sign in to view logs

Triggered via push April 17, 2026 20:14

main

Status Success

Total duration 17s

Artifacts –

ts-blocker.yml

on: push