Stream: Miscellaneous

Topic: Finite Fields automation ?

view this post on Zulip Bas Spitters (Mar 02 2023 at 16:49):

I happened to spot this one on eprint, on SMT for finite fields using cvc5. I imagine it could be useful for smt-coq and related tools.

Last updated: Jun 05 2023 at 10:01 UTC