Awesome KeY Resources to KeY Tools https://github.com/wadoon/key-citool https://github.com/wadoon/smt2key https://github.com/wadoon/key-tacletdoc https://github.com/wadoon/pygments-jml-key Plugins https://github.com/wadoon/key-interactionlog Misc https://github.com/wadoon/pygments-jml-key