Closed nrryuya closed 5 years ago
https://github.com/kframework/k/issues/202
use spec-tmpl in gnosis branch?
https://github.com/kframework/k/issues/202
use spec-tmpl in gnosis branch?