search

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA
Apache License 2.0
90 stars 12 forks source link

Added graph of inverse dependencies of definitions #457

Open alex999990009 opened 9 months ago