code wiki / (root) / nx_theorems7_test.nx

nx_theorems7_test.nx

buildroot/runtime/nx_theorems7_test.nx

5419 B119 linesdepth 6pulls 12 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_theorems7_test.nx -- batch 7 verification.

dependencies 2 imports · 0 importers

syscalls.nx nx_qed_freek.nx nx_theorems7_test.nx

imports: syscalls.nxnx_qed_freek.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_th_prime_count nx_th_is_prime_trial nx_th_legendre_symbol nx_th_pow_mod nx_th_quadratic_reciprocit nx_th_legendre_symbol ↻ nx_th_circle_area_ppb nx_muldiv_i64 nx_i128_alloc nx_i128_mul_i64 nx_i128_mul_u64 nx_i128_neg nx_i128_div_i64 nx_i128_is_neg nx_i128_neg ↻ nx_i128_udiv_u64 nx_th_basel_partial_ppb nx_th_leibniz_pi_over_4_pa nx_th_ballot_prob_ppb nx_muldiv_i64 ↻ nx_muldiv_i64 ↻ nx_th_partition sys_mmap nx_th_quartic_resolvent_co nx_th_quartic_resolvent_co nx_th_quartic_resolvent_co nx_th_clt_z_score_ppb nx_muldiv_i64 ↻ nx_math_isqrt nx_math_isqrt ↻ nx_th_dirichlet_first_prim nx_th_gcd nx_th_is_prime_trial ↻ nx_th_lln_deviation_ppb nx_muldiv_i64 ↻ nx_th_fair_game_balance nx_th_lhopital_ratio nx_poly_eval sys_mmap ↻

structs

none

consts

none

functions

6func main() -> i64 {
calls 21: nx_th_prime_countnx_th_legendre_symbolnx_th_quadratic_reciprocity_checknx_th_circle_area_ppbnx_th_basel_partial_ppbnx_th_leibniz_pi_over_4_partial_ppb+15