Verifiable programming | lit.salon