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.
https://eprint.iacr.org/2023/091


Last updated: Mar 03 2024 at 16:02 UTC