promachina/iut-lean

maintenance drain

master public updated 7/14/2026, 7:50:59 PM latest build queued

13430 checked 0 blocked 0 open 1 queued 6/22/2026, 8:18:20 PM last run

48%

fully proved 24 / 50 blueprint nodes (statement + dependencies)

Verified: queued 7/14/2026, 7:40:51 PM
Theorems: 13,430
Changes: review

Aim and Scope 3/4
The Source Stage 1 Route 8/11 · 8 blocked
Formal Interface 7/12
Route to Corollary 3.12 5/11 · 1 blocked
Open Source Obligations 1/8 · 6 blocked
After Corollary 3.12 0/4 · 4 blocked

28 done3 ready19 blocked Dependency graph →

Recent runs All runs

Run	Status	Branch	Queued
#1184	queued	master	7/14/2026, 7:40:51 PM
#1073	failed	master	7/13/2026, 9:40:20 AM
#1072	failed	master	7/13/2026, 9:28:11 AM
#1071	failed	master	7/13/2026, 9:16:02 AM
#1070	failed	master	7/13/2026, 8:59:50 AM