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

Package arrow.meta.ide.plugins.proofs

Properties

typeProofsIde val IdeMetaPlugin.typeProofsIde: IdePlugin

Do you like Arrow?

Arrow Org
<