v1.1.1

What's Changed

• Add mlTransitivity and expand tutorial.v by @Thrithralas in #447
• Matching-related equivalences by @Engreyight in #446
• Syntax and semantics of Kore utilising a dependently typed approach by @berpeti in #450
• Added substitution of free variables by @Engreyight in #451

Full Changelog: v1.1.0...v1.1.1