Skip to content

Allow variable names of arbitrary length

1a88c40
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Allow variable names of arbitrary length #285

Allow variable names of arbitrary length
1a88c40
Select commit
Loading
Failed to load commit list.
FLINT git version, compiled with assert and NTL
succeeded Mar 8, 2026 in 4m 49s