Add fin notations

In my own project, I need fin notation up to 32, but I added them up to 50 here. I put the Python script in a comment so that people can tweak it and re-run it for a larger number if needed.

EDIT: Now support all numbers using Coq's Number Notation

Can we use https://coq.inria.fr/refman/user-extensions/syntax-extensions.html#numbers-and-strings to get notations for all numbers?

That a good point, I'll try to get that to work

added 1 commit

• 2fa05449 - Add fin notations for all natural numbers

Compare with previous version

changed title from Add fin notations up to 50 to Add fin notations

changed the description

This is amazing. Thanks. You want to add a CHANGELOG entry add attribute the change to you?

added 1 commit

• 11409a53 - Add fin notations for all natural numbers

Compare with previous version

resolved all threads

resolved all threads

added 1 commit

• 6a49c6dd - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

enabled an automatic merge when the pipeline for 6a49c6dd succeeds

Thanks. Merging.

merged

mentioned in commit a1f02b6f