Fichiers | |
fichier | combinatorTk.py [code] |
Application Combinator Tk permettant de manipuler les combinateurs. | |
fichier | naturalstable.py [code] |
Script créant une table HTML des naturels avec les valeurs de différentes fonctions arithmétiques. | |
fichier | naturalTk.py [code] |
Application Natural Tk calculant quelques fonctions arithmétiques. | |
fichier | urmCutlandTk.py [code] |
Application URM of Cutland Tk permettant de manipuler une URM de Cutland !!! Work in progress !!! |