81'abin

Proving math functions with Spartan

2

Thanks for your great work. I wonder if it is possible to prove math functions such as simple comparison, square root, reciprocal or (more complex) exponential functions using Spartan. Could...