OpenAI ChatGPT GPTs
/
OpenAI ChatGPT GPTs
Dafny Assistant
example
Coq Assistant
example
Z3 Liaison
example
taken from
SatLM
Z3 MaxSAT Liaison
template to make a ChatGPT GPT action