Comedy Creator

Riff a topic

Type a topic to get associations, rhymes and sound-alikes for puns, plus ten angles to write from.

Means about the same

interactive proof systemcomputer algebra systemprogramming toolcomputer-assisted translationcompiler-compilerformal methodssat solverformal specificationtoolchainquestion answeringcomputer-aided manufacturingautomated reasoningintegrated development environmentcomputer programmingprogram synthesissolveracl2metamathcoinductionprogramming language theorysemantic reasonercomputer-aided designmizar systemmachine translation

Sounds like (for puns)

persistentpersistantpreexistentpredestinedbrake systembiosystemself assessmentsubsistentsewage systemsewer system

Angles

  1. What if proof assistant had a customer service line? save
  2. Proof assistant is just a waiting room with better marketing. save
  3. The worst thing about proof assistant is that nobody admits it's mostly waiting. save
  4. Imagine proof assistant, but run by your grandma. save
  5. Proof assistant: the mockumentary version. save
  6. Everyone acts like proof assistant is normal. Explain why it isn't. save
  7. Write the terms and conditions for proof assistant. save
  8. Proof assistant has a secret union, and it just went on strike. save
  9. Your grandma discovers proof assistant for the first time. save
  10. Proof assistant if it were invented today and had to pitch investors. save