| File | Mode | Size |
|---|---|---|
| ArTanH.v | -rw-r--r-- | 15.6 KB |
| Exponential.v | -rw-r--r-- | 40.5 KB |
| InvTrigonom.v | -rw-r--r-- | 39.3 KB |
| MoreArcTan.v | -rw-r--r-- | 19.2 KB |
| Pi.v | -rw-r--r-- | 31.3 KB |
| PowerSeries.v | -rw-r--r-- | 17.3 KB |
| RealPowers.v | -rw-r--r-- | 20.3 KB |
| SinCos.v | -rw-r--r-- | 10.6 KB |
| TaylorSeries.v | -rw-r--r-- | 22.1 KB |
| TrigMon.v | -rw-r--r-- | 25.2 KB |
| Trigonometric.v | -rw-r--r-- | 20.9 KB |
