issues
search
runtimeverification
/
pyk
Python tools for the K Framework
BSD 3-Clause "New" or "Revised" License
13
stars
2
forks
source link
Generate axioms for equation rules
#1074
Closed
tothtamas28
closed
6 months ago
Baltoli
commented
6 months ago
https://github.com/runtimeverification/k/pull/4244
https://github.com/runtimeverification/k/pull/4244