A site generator for a proof meetup.