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
Touch-up of the alert contract documentation
#107
Closed
Kukovec
closed
2 weeks ago
Kukovec
commented
2 weeks ago
No functional changes, just adding/updating docs.
No functional changes, just adding/updating docs.