Rewriting, computation and proof | lit.salon