GitHub repository: onriv/lean4ij
Primary language: Kotlin
Description: A Lean4 plugin for the Intellij Platform