finmap icon indicating copy to clipboard operation
finmap copied to clipboard
verified publisher icon math-comp

update the github description by removing the mention to generic sets?

Open affeldt-aist opened this issue 1 year ago • 0 comments

Iirc, we removed the generic sets from master and recorded them in the following branch (as a draft PR) https://github.com/math-comp/finmap/pull/108 So therefore it might be better to remove the mention to generic sets in the github description.

affeldt-aist avatar Dec 02 '24 03:12 affeldt-aist