ProvingGround Working Notebooks
These are the working notes. Each one should import a jar with a short commit for replication
2020-05-26-bot-modus-ponens.ipynb
2020-05-26-bot-modus-ponens-launch.ipynb
2020-05-25-BotMonoid.ipynb
2020-05-07-bot-instantiation.ipynb
2019-12-02-with-independent-export-normalize-isles-refine.ipynb
2019-12-02-recisles-with-independent-export-normalize-isles-refine.ipynb
2019-12-02-recisles-with-independent-export-normalize-isles-refine-rhsmodify.ipynb
2019-11-28-with-independent-export-normalize-isles-refine.ipynb
2019-11-28-export-normalize-isles-refine.ipynb
2019-11-27tworfixes-export-normalize-isles-refine.ipynb
2019-11-27-simplified-export-normalize-isles-refine.ipynb
2019-11-27-export-normalize-isles-refine.ipynb
2019-11-27-afterfix-export-normalize-isles-refine.ipynb
2019-11-25-export-normalize-isles.ipynb
2019-11-21-skolemize-test.ipynb
2019-11-18-depth-bound.ipynb
2019-11-15-CzechSlovakOlySteps.ipynb
2019-11-14-equation-generation.ipynb
2019-11-14-CzechSlovakOlympWithMN.ipynb
2019-11-14-CzechSlovakOlympTillSuccess.ipynb
2019-11-13-codomain-target.ipynb
2019-11-13-CzechSlovakOlympExplore.ipynb
2019-11-13-CzechSlovakOlympCod.ipynb
2019-11-13-CzechSlovakOlympAppOnly.ipynb
2019-11-12-Achal-CzechSlovakOlympiad.ipynb
2019-10-25-entropies.ipynb
2019-10-23-chomper-memo-newlookup.ipynb
2019-10-22-newmemo-liberal-chomper.ipynb
2019-10-22-memo-liberal-chomper.ipynb
2019-10-21-liberal-goal-chomping.ipynb
2019-10-21-goal-chomping.ipynb
2019-10-18-proof-propagation.ipynb
2019-10-18-chained-equations-monoid.ipynb
2019-10-17-modus-ponens.ipynb
2019-10-16-variables-export.ipynb
2019-09-23-variable-modus-ponens.ipynb
2019-09-18-refine-till-success.ipynb
2019-09-18-monoid.ipynb
2019-09-18-monoid-unifiedapp.ipynb
2019-09-17-simple-optimization-constant-probs.ipynb
2019-09-17-refine-task.ipynb
2019-09-16-simple-optimize.ipynb
2019-09-14-topgoals.ipynb
2019-09-13-workflow.ipynb
2019-09-13-cpflow.ipynb
2019-08-01-derived-equations.ipynb