Quip Book The sources for the Quip book. Quip is a proof format for first-order and higher-order theorem provers.