Commit 004f8c2

committed

Add docs/introduction-to-matching-logic.pdf

"Introduction to Matching Logic" is those parts of "The Semantics of K" which are still relevent to present-day Kore.

1 parent 2dee3f5 commit 004f8c2Copy full SHA for 004f8c2

3 files changed

+2789

-0

lines changed

docs

3 files changed

+2789

-0

lines changed

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

170 KB

Binary file not shown.

Comments

(0)