@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

Poll: Do you follow the bots you make?
Poll: Do you follow the bots you make?

Do botmakers follow their bots?

Poll: What are your favorite bots to follow?
Poll: What are your favorite bots to follow?

Results are in: people love to look at pictures!

2015-2018: The Golden Age of botmaking
2015-2018: The Golden Age of botmaking

Reminiscing and looking ahead.

Poll: The language of botmaking
Poll: The language of botmaking

To make a bot, or to author it?

Visit the blog

Enjoying Botwiki?

Consider supporting the project!

Close

Adblocker not detected

Consider installing a browser extension that blocks ads and other malicious scripts in your browser to protect your privacy and security.

.