Lien Does catching software defects earlier in the project life cycle reduce the cost of fixing bugs? Posté par Nicolas Boulay (site web personnel) le 04 novembre 2025 à 10:32. Étiquettes : formalisation modèle 5 4nov.2025 https://buttondown.com/hillelwayne/archive/i-ing-hate-science/
Lien Déboguer … les maths. Posté par thoasm le 25 octobre 2023 à 16:59. Étiquettes : formalisation démonstration preuves terence_tao mathématiques leanprover 4 25oct.2023 https://mathstodon.xyz/@tao/111287749336059662
