F* ( r1 r2 -- r3 )
publication: 9 janvier 2022 / mis à jour 10 janvier 2022
Multiplication de deux nombres réels.
Exemple:
1.35e 2.2e F*
F. \ display 2.969999
Lien vers article:
Legal: site web personnel sans commerce / personal site without seling