Post #2693634
2026-04-25 18:12 UTC
@AmenZwa@mathstodon.xyz @Jose_A_Alonso@mathstodon.xyz I've never understood why Lean is so in favor with mathematicians. Is there something in this proof checker that doesn't exist in the others ? Or do mathematicians follow the fashion?
Isabelle has suffered from the poor quality of its documentation, especially its tutorial, in my opinion.
Replies (1)
-
@AmenZwa@mathstodon.xyz 2026-04-25 18:51
@fl@mathstodon.xyz @Jose_A_Alonso@mathstodon.xyz Initially, 90% fashion, 8% community, 1% Lean, 1% slop. But once the roots have established, 99% hype, 1% slop. I’m being harsh, yes, but I’m not too far off the rocker, here.