Skip to content

Modify the Fermat license warning, as Fermat is no longer the default

Mao Zeng requested to merge fermat_statement into main

Only warn the user about the Fermat license if they want to use the option --calc fermat.

Merge request reports