@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

Glitch banning use of pinging services
Glitch banning use of pinging services

An end of an era, yet again.

Poll: The cost of botmaking
Poll: The cost of botmaking

How much does it cost to host a creative bot?

Bot tributes
Bot tributes

Art, games, and other creative projects inspired by bots.

New category: non-English bots
New category: non-English bots

You can now browse non-English bots on Botwiki by language 🇫🇷🇩🇪🇪🇸🇫🇮

Visit the blog

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.