https://github.com/c-corn/corn
Tip revision: eda159cfccdca3f853788999195cc9c72700bfec authored by Bas Spitters on 19 September 2018, 19:55:55 UTC
updating readme
updating readme
Tip revision: eda159c
File | Mode | Size |
---|---|---|
ArTanH.v | -rw-r--r-- | 15.6 KB |
Exponential.v | -rw-r--r-- | 40.3 KB |
InvTrigonom.v | -rw-r--r-- | 39.2 KB |
MoreArcTan.v | -rw-r--r-- | 19.2 KB |
Pi.v | -rw-r--r-- | 31.2 KB |
PowerSeries.v | -rw-r--r-- | 17.3 KB |
RealPowers.v | -rw-r--r-- | 20.2 KB |
SinCos.v | -rw-r--r-- | 10.6 KB |
TaylorSeries.v | -rw-r--r-- | 22.0 KB |
TrigMon.v | -rw-r--r-- | 25.2 KB |
Trigonometric.v | -rw-r--r-- | 20.9 KB |