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