Proof validation in real analysis: Inferring and checking warrants · Study