Optimize the tactics with explicit term construction and memoization - #35

Optimize the tactics with explicit term construction and memoization#35

gaetanserre merged 3 commits into

maingaetanserre/KernelHom:mainfrom

devgaetanserre/KernelHom:devCopy head branch name to clipboard