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