#cs

Todas las noticias etiquetadas como #cs en Pulso. Reescritas con asistencia de IA a partir de fuentes públicas.

Implementación verificada de geometría sólida constructiva 3D

Se ha implementado la primera geometría sólida constructiva 3D verificada formalmente: la intersección de mallas, implementada en Lean 4 y verificada contra una…