3 ms·

I'd like to read more about those soundness issues - do you have a link?

• steveklabnik 9y ago
  see https://github.com/Xudong-Huang/may/issues/6 https://github.com/Xudong-Huang/may/issues/6 as one example