tools
=====

Various additional tools.

* [helper_tactics](helper_tactics.hlean) : useful tactics