@ProofByBot

A bot that practices proof by intimidation.

@ProofByBot is a Twitter bot created by Jonas A. Hultén that  invents new academic and formal-sounding lemmas, proofs, theses, and other things you might find cited in a dense papers.

Browse botsSee a random bot

Latest from the blog

Botwiki Interview: Nora Reed
Botwiki Interview: Nora Reed

Discussing Twitter, bots, and reasons to stay hopeful.

Poll: Multi-network bots and followers
Poll: Multi-network bots and followers

Does Twitter get your bot the most followers?

Visit the blog

Enjoying Botwiki?

Consider supporting the project!

.