aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Num
Commit message (Expand)AuthorAge
* *** empty log message ***Gravatar mohring2001-02-01
* Essai d'axiomatisation des numeralGravatar mohring2001-01-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 23:46:27 +0000