Lien Déboguer … les maths. Posté par Thomas Douillard le 25 octobre 2023 à 16:59. Étiquettes : mathématiques leanprover formalisation démonstration preuves terence_tao 4 25oct.2023 https://mathstodon.xyz/@tao/111287749336059662
