frontiers / frontier

Formal-conjectures Lean proofs (kernel-verified)

id: vfr_97d7d25957384f80
license: CC-BY-4.0
findings: 2
accepted core: 0
contested: 0
links: 0
sources: 2
evidence: 2
avg conf: 0.99

used by 0 · replayed by 0 · first seat open

e4/4 · finding.asserted · reviewer:will · 2026-06-03 · null→5d1d

Cite

handle

vfr_97d7d25957384f80

vela registry pull vfr_97d7d25957384f80

bibtex · pinned

bibtex · vfr_97d7d25957384f80

@misc{vela_formal_conjectures_lean_2026,
  title        = {Formal-conjectures Lean proofs (kernel-verified)},
  author       = {{reviewer:will-blair}},
  year         = {2026},
  howpublished = {\url{https://vela-site-next.fly.dev/frontier/formal-conjectures-lean/at/vev_8e115d71ace1e871}},
  note         = {Vela frontier vfr_97d7d25957384f80, state pinned at event vev_8e115d71ace1e871, snapshot sha256:5d1df621d6664b8f5770fe46293ff0e245f3b65082ef19af594c1ebfabe78e6f; reproduce: vela reproduce projects/formal-conjectures-lean}
}

/frontier/formal-conjectures-lean/at/vev_8e115d71ace1e871permalink · after_hash 5d1df621d6664b8f…

releases

No releases cut.

vela frontier release formal-conjectures-lean --name v1.0

card

No card available

Bundle-only frontier; render the card locally after pull.

proof state →

Search Vela