# ¿Funciona TLA+ Toolbox en macOS 28?

> **Respuesta corta: no, por sí sola no.** Según los datos de paquetes de Homebrew (consultados el 5 de octubre de 2026), TLA+ Toolbox es solo para Intel y su descarga actual no incluye versión para Apple silicon. Apple ha anunciado que las apps solo para Intel dejan de funcionar en los Mac con Apple silicon después de macOS 27, salvo algunos juegos antiguos. Keep86 está pensado para que apps como esta sigan funcionando, pero aún no hemos probado TLA+ Toolbox.

## Datos

- Arquitectura: Solo para Intel (según los datos de paquetes de Homebrew, consultados el 5 de octubre de 2026)
- Paquete de Homebrew: tla+-toolbox (https://formulae.brew.sh/cask/tla%2B-toolbox), 677 instalaciones en los últimos 365 días
- Sitio web: https://lamport.azurewebsites.net/tla/toolbox.html
- Versión nativa para Apple silicon: Ninguna registrada
- Estado en Keep86: Aún sin probar
- Última versión que conocemos: 1.7.4
- Última verificación: 2026-10-05

## Preguntas sobre TLA+ Toolbox

### ¿Funciona TLA+ Toolbox en Apple silicon?

Solo con Rosetta 2. TLA+ Toolbox es solo para Intel: un Mac con Apple silicon la ejecuta traduciendo su código Intel con Rosetta 2, que Apple admite por completo hasta macOS 27.

### ¿Necesita TLA+ Toolbox Rosetta 2?

Sí, en cualquier Mac con Apple silicon. Según Apple, a partir de macOS 28 Rosetta solo seguirá disponible para algunos juegos antiguos, así que las apps solo para Intel como TLA+ Toolbox dejarán de abrirse.

### ¿Cómo puedo seguir usando TLA+ Toolbox después de macOS 28?

Deja este Mac en macOS 27, cambia a una alternativa o usa TLA+ Toolbox en una máquina virtual con macOS 27 (UTM, VirtualBuddy, Parallels). Keep86 mantiene ese Mac virtual oculto y muestra las ventanas de la app en tu escritorio; consulta arriba el estado de las pruebas.

## Fuentes

- Homebrew cask “tla+-toolbox” 1.7.4 requires Rosetta (Intel-only build) — https://formulae.brew.sh/cask/tla+-toolbox (2026-10-05)

---
Datos de arquitectura procedentes en parte de Homebrew (formulae.brew.sh), usados con la licencia BSD de 2 cláusulas.
Source: https://keep86.com/es/apps/tla-toolbox