You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 you shed some light on this? Thanks a lot!
The text was updated successfully, but these errors were encountered:
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 you shed some light on this? Thanks a lot!
The text was updated successfully, but these errors were encountered: