Comments on Introduction aux mathématiques constructives : 2. entiers naturels et principes d'omniscience

Bob (2024-07-18T03:18:35Z)

Merci pour ce magistral effort de clarté !

Comments will not appear until they have been reviewed by the moderator.
Deleting comments is not supported. Please think before you post.
HTML is not allowed in content or elsewhere (writing <foo> simply produces <foo> in the text).
To cite a URL, write <URL: http://somewhere.tld/ >, and it will be automatically made into a link. (Do not try any other way or it might count as an attempt to spam.)
Your email address will not appear to other readers. Use it if you wish to leave me (the moderator) a way of contacting you.
To leave a contact address for all readers, use the Web site address field (it can be a mailto: URI, e.g. mailto:my.email@somewhere.tld, if you do not have a genuine Web site).
You can use an optional (semi-secret) “identifier phrase” of your choice to avoid identity stealing: it will not appear except to the moderator, who can use it to detect obvious usurpations. Don't rely seriously on this, however.
Use the last field to enter any other kind of comments for the moderator's eyes only.