Public source entries
- prover-v2 (7b/671b), lean 4 · github · 2025-04-30 (day)
Listed by @ben in history · original ID: src-hp-prover-github. The section retains the original occurrence and its citations.
- prover-v2 (7b/671b), lean 4 · github · 2025-04-30 (day)
Listed by @ben in side quests · original ID: src-hp-prover-github. The section retains the original occurrence and its citations.
- prover-v2 (7b/671b), lean 4 · github · 2025-04-30 (day)
Listed by @ben in sources · original ID: src-hp-prover-github. The section retains the original occurrence and its citations.
Publishers can correct or withdraw their own dossiers. If a subject link is wrong or impersonates someone, report the identity link. Include the public URL and the connection you dispute; do not include private evidence in a public dossier.