> I have 2 targets for the app : > - mathematicians >
Real mathematicians don't use proof checkers, I'm afraid. It's too time-consuming. Villani has poroblems with statistics by the way. Who can help him? https://www.huffingtonpost.fr/entry/municipales-2020-villani-saisit-la-commission-des-sondages-apres-des-chiffres-publies-par-griveaux_fr_5dd3a4c2e4b0d6f02fa495a9 (And there are true believers who believe in evidence-based reality. Sighs...) -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/f038aa2e-a5f7-41f3-813c-735fc412db79%40googlegroups.com.
