Computer Says No: Error Reporting for LTL (via typesanitizer) — discussion

#formalmethods