issues
search
runtimeverification
/
pyk
Python tools for the K Framework
BSD 3-Clause "New" or "Revised" License
13
stars
2
forks
source link
Only allow letters as first character in `_modname`
#1067
Closed
tothtamas28
closed
5 months ago
tothtamas28
commented
5 months ago
Related:
runtimeverification/k#4158
Related: