Arend plugin for IntelliJ IDEA - View it on GitHub
Star
93
Rank
284578