kweb doesn't work with K + Z3 on fslweb

kframework / kweb

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

5 stars 5 forks source link

Open pdaian opened 10 years ago