Power series arithmetic in Lean

Exact and conservative power series arithmetic in Lean, built on top of https://github.com/girving/interval.

Building

1. Install elan (brew install elan-init on Mac)
2. lake build