Scientific computing with automatic result verification | lit.salon