|
|
|
|
|
|
by skippyfish
6 days ago
|
|
|
> I think the explosion in the popularity of Lean probably means that tactic-based proofs have won The number of mentions of Lean in HN submissions aside, how do we gauge that? HN has odd trends like that - a decade ago, we loved everything "Bayesian" - but they don't necessarily translate to anything that's happening in the mainstream. |
|
|