Add more theorems.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Rename pp functions (that do not use format lib) to print

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add scoped sets

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add pretty printer for Lean environment

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add placeholders for transcendental functions in mpbq & mpq
Add more tests to interval
Reformat mpfp.h
Add transcendental functions to interval.h
Add constants(Pi, 1/2Pi, 2Pi) to double, float, and mpq
Add is_empty & set_empty to interval
Add transcendental functions to interval (still need to fill more...)
Add more operator overloadings to mpfp
Add constants and transcendental functions to mpfp