issues
search
runtimeverification
/
plutus-core-semantics
BSD 3-Clause "New" or "Revised" License
27
stars
5
forks
source link
KPlutus-pyk: Prefix UplcId tokens for kprove
#331
Closed
gtrepta
closed
1 year ago
gtrepta
commented
1 year ago
fixes: #332
fixes: #332