issues
search
UniFormal
/
IntelliJ-MMT
An IntelliJ-Plugin for MMT (under development)
3
stars
1
forks
source link
Add generalizer for v16.0.0
#8
Closed
ComFreek
closed
5 years ago