Revision de8e9811
Module to manipulate real constants. For the moment we Num
Files
- added
- modified
- copied
- renamed
- deleted
| ID | de8e98113e24272ece6afd12fbadb5359b37d892 |
| Parent | 3066247f |
| Child | 2d2d89d7 |
Added by Pierre-Loïc Garoche 9 months ago
Module to manipulate real constants. For the moment we Num