O curso, Python e a execução no navegador¶

Este projeto prioriza a correspondência legível entre axiomas, definições e código, não o desempenho.

Conhecimentos de Python¶

A sintaxe básica é pressuposta. O despacho de operadores, a transformação de funções por decoradores e os métodos gerados por dataclass são ensinados por serem essenciais.

Zensical e Pyodide¶

Zensical gera as páginas e Pyodide executa Python em um Web Worker. A primeira execução baixa o ambiente; o código não é enviado a um servidor.

Limites didáticos¶

A cadeia de predecessores torna números grandes lentos. Testes cobrem casos finitos; a indução continua necessária para conclusões sobre todos os naturais.