kframework / k-legacy

The K tools (deprecated, see README)

Home Page:http://kframework.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

KFramework documentation

HighSoftWare96 opened this issue · comments

Where a complete documentation of this framework, or a useful and understandable tutorial can be found?

Hi, there are tutorials in the k-distribution/tutorial directory of this repository.