À ma connaissance, il s'agit de la première implémentation formellement vérifiée d'une opération de géométrie solide constructive (CSG) 3D : intersection de maillage, implémentée dans Lean 4 et vérifiée par rapport à une spécification concise que les broches font...
Les nouveaux modèles repoussent les limites des capacités et du rapport qualité-prix. Les équipes réévaluent les éléments sur lesquels s'appuyer chaque fois qu'un lancement modifie ce qui est possible par dollar.
Les résumés sont regroupés à titre d’information uniquement – suivez le lien source pour l’histoire complète. Les entrées de démonstration sont illustratives.