[SMT-COMP] [smt-lib] New working group on SMT proofs

[Jochen Hoenicke]

Hi,
I would also like to participate in the group.


Best,
  Jochen


Simon Cruanes <simon.cruanes.2007 at m4x.org> schrieb am Fr., 6. Aug. 2021,
22:04:

> Hi Clark, I'd also like to participate in the group.
>
> --
> You received this message because you are subscribed to the Google Groups
> "SMT-LIB" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to smt-lib+unsubscribe at googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/smt-lib/9ED2060B-6570-4CCC-A5B7-636E2B90CF7E%40m4x.org
> .
>
>