Commit 5320c08

authored

Update documentation on syntax and semantics of Kore (#2266)

1 parent 89aa5ec commit 5320c08Copy full SHA for 5320c08

4 files changed

+3048

-226

lines changed

docs

4 files changed

+3048

-226

lines changed

`‎docs/introduction-to-matching-logic.pdf`

170 KB

Binary file not shown.

Comments

(0)