Initial commit
first plan for the sketch
ignore emacs garbages
informal tdh
first attempt at TDH proof under CDH
license and ignore merge