Proof, Computation and Agency | lit.salon