El curso, Python y la ejecución en el navegador¶

Este proyecto prioriza una correspondencia legible entre axiomas, definiciones y código, no el rendimiento.

Conocimientos de Python¶

Se presupone la sintaxis básica. Sí se enseñan el despacho de operadores, la transformación de funciones por decoradores y los métodos generados por dataclass.

Zensical y Pyodide¶

Zensical construye las páginas y Pyodide ejecuta Python en un Web Worker. La primera ejecución descarga el entorno; el código no se envía a un servidor.

Límites didácticos¶

La cadena de predecesores hace lentos los números grandes. Las pruebas cubren casos finitos; la inducción sigue siendo necesaria para afirmar algo sobre todos los naturales.