let
do_wp_check server lang g =
Task
.spawn server (
Prover
.check ~callout:do_check_feedback g lang)