Geeks
onriv
/
lean4ij
A Lean4 plugin for the Intellij Platform
Primary Language
Kotlin
Apache License 2.0
Apache-2.0
lean4ij GitHub
Markdown
Readme
14
Issues
6
Stargazers
1
Watcher
Watchers
onriv