@markusde@mathstodon.xyz @JacquesC2@types.pl @johncarlosbaez@mathstodon.xyz @dougmerritt@mathstodon.xyz @MartinEscardo@mathstodon.xyz @andrejbauer@mathstodon.xyz @pigworker@types.pl it is absolutely wild that lean is (unironically?) being used as an example of worse is better.