Skip to content
Snippets Groups Projects

Clarify that symbols that overlap with numbers are not allowed

Passed
Hans-Jörg created pipeline for commit de29f8f1
, finished
1 related merge request: !5 Document cvc5-style numerals
1 job 1 minute 7 seconds, queued for 3 seconds