Skip to content

fix: validate atoms modulo leading and trailing whitespace#6012

Merged
david-christiansen merged 6 commits intoleanprover:masterfrom david-christiansen:atom-validation-wsNov 14, 2024

Commits

Commits on Nov 8, 2024

Commits on Nov 13, 2024