Quality News
new | top | ask | show | best | algorithms | about

Open computational evidence infrastructure for Lean (github.com/fraware)
×0.93 | 1 points by MADEinPARIS 2 hours ago | discuss | ??? ???

Story Stats

This chart shows the history of this story's rank on the Hacker News "Top" (Front) Page, "New" Page, and "Best" Page, as well as its raw rank given the Hacker News ranking formula.

This chart shows the history of this story's upvotes compared to the expected upvotes for stories shown at the same ranks and times.

This chart shows the history of this story's estimated true upvote rate: the predicted long-term ratio of upvotes to expected upvotes.