Scientific computation with automatic result verification | lit.salon