Login

promachina/iut-lean

failed
masterpublicupdated
33821checked0blocked0openlast run

Next actionReview failed project healthThe latest verification or indexing state failed. Latest error: lake build failed with exit code none (process did not exit cleanly) (toolchain lean-v4-30-0, command: elan run leanprover/lean4:v4.30.0 -- bash -c export PATH="$(dirname "$(elan which lean)"):$PATH"; exec "$@" apx-lean-phase lake build)
50%
fully proved40 / 80 blueprint nodes (statement + dependencies)
Theorems
33,821
Changes
review
  • Aim and Scope3/4
  • The Source Stage 1 Route20/25 · 5 blocked
  • Formal Interface7/12
  • Route to Corollary 3.125/11 · 1 blocked
  • Open Source Obligations5/24 · 6 blocked
  • After Corollary 3.120/4 · 4 blocked
61 done3 ready16 blockedDependency graph →
Recent runsAll runs
RunStatusBranchQueued
#1303failedmaster
#1302failede21-929-cohomology-checkpoint
#1301failedmaster
#1300failede21-924-complete
#1299failede21-924-checkpoint-quotient

Keyboard shortcuts