idea-plugin / arrow.meta.ide.plugins.proofs.markers / arrow.meta.plugins.proofs.phases.Proof

Extensions for arrow.meta.plugins.proofs.phases.Proof

description fun Proof.description(): String

Do you like Arrow?

Arrow Org
<