Proofs and Algorithms | lit.salon