ENTITY PriorProof

PriorProof

PulseAugur coverage of PriorProof — every cluster mentioning PriorProof across labs, papers, and developer communities, ranked by signal.

Total · 30d

0

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

0

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_154074 · Jul 21 · 04:00

New method PriorProof measures novelty in formal math proofs

Researchers have developed PriorProof, a novel method for measuring the novelty of techniques used in formal mathematical proofs. This system analyzes the dependency footprint of a proof term within the Lean theorem pro…