remove trailing whitespaces

semi-local lambda lifting in holyhammer translation + s-expression export for tree neural networks

separting string tactic into applications

remove trailing whitespaces

enigma for tactictoe: tptp export

avoiding creating a network with no output

bug found in write_tnn

mlTune removed

TNN features restored

new TNN first working version

removing trailing whitespaces

standardizing RL

fix threads used in training neural networks

updating files to reflect changes in smlParallel

more refactoring

refactoring in progress: removing global variables

allowing X in subterms

AI directory: removing trailing whitespaces

hanabi: wip + tactictoe example updated

hanabi: fixing error in mcts node selection

refractoring neural networks and probability

extra parentheses for higher-order exports

adding back identity example

removing experiments too far from theorem proving

remove trailing whitespaces

biais for every layers

before removing external parallelism training failed experiment

batch external parallelization

random search

removing trailing whitespaces + fix cache errors in term generation

before temporarily removing momentum

moving, renaming, removing machine learning files

nn training with external process (wip)

different number of cores for training and exploration

term generation

optimizing matrix addition

nn: I/O

AIM paramodulation game specification

modifying some filenames

refactoring tactictoe/holyhammer (wip)