Un langage interactif pour explorer les mathématiques, accessible dans un navigateur moderne. Écrivez un programme, inspectez ses ensembles et dessinez avec l’interpréteur d’origine.
Ce projet était à l’origine un endroit où conserver les sources, exécutables et manuels d’ISETL. La version web permet de continuer à utiliser ce langage, sans ancien système d’exploitation, installation ni compte. L’interpréteur C d’origine s’exécute localement grâce à WebAssembly.
Écrire et exécuter
Un éditeur avec coloration syntaxique, une console persistante, des exemples exécutables et l’import-export de fichiers locaux. Vos programmes s’exécutent dans votre navigateur.
Voir les ensembles
Comparez les variables par union, intersection, différence et différence symétrique. Suivez les éléments dans un diagramme et parcourez chaque région.
Dessiner avec le langage
Les commandes de dessin et les bibliothèques de tracé d’origine s’affichent sur un canevas à côté du code.
ISETL Web · capture réelle de l’application
Explorer un raisonnement mathématique
L’exemple de Cantor construit un sous-ensemble absent d’une application finie. Il rend l’argument diagonal concret : c’est une illustration, pas un assistant de preuve formelle.
Exemples, signalements de bugs, accessibilité, documentation et tests sur navigateur sont les bienvenus. Le runtime TypeScript peut aussi être utilisé dans une autre application.
Le nouveau code web est sous licence MIT. L’interpréteur et les archives conservent leurs mentions d’origine ; le manuel autorise la copie à condition de ne pas vendre le logiciel à des fins lucratives.
