issues
search
JetBrains
/
intellij-arend
Arend plugin for IntelliJ IDEA
Apache License 2.0
90
stars
12
forks
source link
Fixed HTML generator for Standard Arend Library (v4)
#446
Closed
alex999990009
closed
11 months ago