This repository has been archived by the owner on Feb 1, 2020. It is now read-only.

Version 4.0-beta of the K Semantic Framework

andreistefanescu released this 09 Feb 21:11

· 948 commits to master since this release

8857128

See the changelog for details:

https://github.com/kframework/k/blob/v4.0-beta/CHANGELOG.md

Assets 4