idea-plugin / arrow.meta.ide.plugins.proofs.annotators

Package arrow.meta.ide.plugins.proofs.annotators

Properties

proofAnnotators val IdeMetaPlugin.proofAnnotators: ExtensionPhase

Do you like Arrow?

Arrow Org
<