▲ 100 r/programmingcirclejerk
Just cause it isn't used for webshit doesn't mean "approximately no one" has heard of it. Lean is pretty much the most popular language mathematicians use today for computer-assisted proofs. More mature audiences
news.ycombinator.comu/bzmore — 27 days ago