Skip to content

Assertions · Vela Mathematics Program

1 assertionGraph view
computational ×Clear all
  1. Claim recorded1
  2. Evidence retained1
  3. Proposal recorded1
Each row counts the Claims in this result that reached that stratum. A gold rule carries where one stratum is contained in the one above it.

Claim ledger

vcl_8ab5a917ccc077f1971f630bae293a0e5bbed3156320e0b7223ffbd75d7b0464

Under the retained exact public compiled-cache replay, Lean 4.22.0 elaborates the scoped Erdos 887 repaired source with the four expected sorry warnings.

acceptedverification passed1 evidence span5 conditionscomputationalAuthenticated Submission vsb_e804f60a8ffd8658

Search problems.science

Find a Problem, Result, source, or page