search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Disallow extended characters in identifiers #28

Closed ajreynol closed 5 years ago

ajreynol commented 5 years ago

Fixes #1.