include proof program for _arb_atan_taylor_rs
include proof program for _arb_atan_taylor_rs

pascalmolin/arb,argriffing/arb,fredrik-johansson/arb,pascalmolin/arb,fredrik-johansson/arb,pascalmolin/arb,argriffing/arb,argriffing/arb