Proof and Computation | lit.salon