search

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual
Other
49 stars 8 forks source link

adding \pi and \e notations #42

Closed pbaudin closed 6 years ago

pbaudin commented 6 years ago

Adding the real number \pi and \e to the mathemacial built-ins.