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