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 !!! | |