theorem-prover emoji | AI Emoji Generator