Scientific Computing with Automatic Result Verification | lit.salon