What it adds
Tools 41
jackal_alg_cmpjackal_alg_signjackal_anubis_check_programjackal_anubis_verify_programjackal_anubis_verify_program_receiptjackal_atan_rat_boundjackal_canonjackal_claimjackal_claim_cites_testjackal_cos_rat_boundjackal_crtjackal_decision_rankjackal_decision_rank_v2jackal_diffjackal_dividesjackal_evaluatejackal_exactjackal_exp_rat_boundjackal_gaussian_integraljackal_integratejackal_integrate_adaptivejackal_integrate_boundjackal_integrate_bound_certjackal_ln_rat_boundjackal_mod_invjackal_mod_powjackal_poly_canonjackal_poly_eqjackal_poly_gcdjackal_prime_certjackal_range_boundjackal_ratfunc_canonjackal_roots_isolatejackal_sin_rat_boundjackal_solvejackal_sqrt_rat_boundjackal_tanh_rat_boundjackal_test_existsjackal_verify_bundlejackal_verify_receiptjackal_xgcd