search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

Fix a bug in negMInt #2378

Closed daejunpark closed 6 years ago

daejunpark commented 6 years ago

Rebase #2374

daejunpark commented 6 years ago

@msaxena2 please review