issues
search
freespek
/
solarkraft
Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
Apache License 2.0
10
stars
0
forks
source link
Added `claim` support to spec
#101
Closed
Kukovec
closed
2 weeks ago
Kukovec
commented
2 weeks ago
closes #99
closes #99