Skip to content

Add fin notations

Thibaut Pérami requested to merge tperami/stdpp:fin-notations into master

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

Edited by Thibaut Pérami

Merge request reports