trailing white spaces

tactictoe README

removing tactictoe mini replacing by a tactic prioritization

removing trailing white spaces

omitting types in ttt_mini

tnn guidance at every level

TacticToe creates training examples from its own proof attempts (only loading)

removing trailing whitespaces

removing warning flag and print to standard out instead as hidef is already changing standard out

adding interface for tactictoe mini

tactictoe: evaluation with a minimal set of tactics

tactictoe: finalizing argument update before testing

tactictoe: preparsing of theorems and tactics

quse_string: closing stream after usage + looking for next line

remove trailing whitespaces

exporting examples for the policy network + reordering tactic during search according to the policy network

tnn advice for the value during tactictoe search

saving value examples after searches

cumulative graph for tactictoe evaluation

removing thmlintac and ttt_exl + updating thmdata and tacdata

simplifying tactictoe/holyhammer/AI debugging scheme

update recording + prettification (parentheses) + eliminate caches + hide outputs explicitly

tactictoe: parallel evaluation

benchmark functions for holyhammer and tactictoe

refactoring tactictoe proof search

finalize holyhammer refactoring, continuing with tactictoe

before refactoring tactictoe

Delete trailing whitespace in src/

tactictoe: adding create_fof function + improve parallelism

tactictoe: interactive exploration

tactictoe: always timing out parsing of tactics + parsing during proof search

tactictoe: easier recording of standard library

tactictoe: remove duplicated evaluation

tactictoe: parallel evaluation

tactictoe: recording parallel version

tactictoe: update evaluation functions

tactictoe: faster recording (training done separately)

tactictoe: changing how flags work + starting decomposition into recording/training/evaluation.

remove trailing white spaces

tactictoe: do not try to re-record theories unless ttt_clean_all is called

tactictoe: improved recording mechanism re-using existing Holmakefiles

holyhammer: using same namespace tag as tactictoe

tactictoe: minor change in signature

tactictoe: eprover evaluation function + wip on includes

tactictoe: added evaluation functionality

tactictoe: interactive recording + examples + readme

moving tactictoe and holyhammer in the build sequence

tactictoe: regrouping global flags under hhsSetup

tactictoe: next_tac pretty

tactictoe: online recording (to be fixed)

tactictoe: using holdeptool.exe to compute load dependencies

tactictoe: recording wip

tactictoe: interactive recording function

holyhammer: tactic + pretty-printing

tactictoe: evaluating after recording

tactictoe: theorems' features IO + orthogonalization of theorems

tactictoe: removing copied code

tactictoe: wip

tactictoe: feature vectors I/O

tactictoe: interactive call

tactictoe + extra features