Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin | IEEE Conference Publication | IEEE Xplore