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: Mar 03 2024 at 16:02 UTC