Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool