Vela
✦ 5 frontiers

Targets

1 of 16 open

Open obligations, ranked by dependents.

domainallnumber theory5graph theory1primes1
verifierallattested2lean2exhaustive1lrat1pinned-python1
deps#obligationverifierleaseactivepacket
1#617produce the LRAT/RAT certificate for the K26 SAT encoding and re-check it with `vela reproduce` (unsat_cert); the symmetry-breaking step needs RAT, beyond the current RUP checker.lean lrat exhaustive attestedopen3d{ }

finding.noted · reviewer:will-blair · 2 days

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.