code wiki / (root) / nx_theorems5_test.nx

nx_theorems5_test.nx

buildroot/runtime/nx_theorems5_test.nx

6401 B147 linesdepth 6pulls 12 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_theorems5_test.nx -- Freek-100 quick-wins verification.

dependencies 2 imports · 0 importers

syscalls.nx nx_qed_freek.nx nx_theorems5_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_sqrt2_irrational_che nx_th_gcd nx_th_cantor_pairing nx_th_cantor_unpair_a nx_th_cantor_unpair_b nx_th_euclid_prime_witness nx_th_pyth_triple_a nx_th_pyth_triple_b nx_th_pyth_triple_c nx_th_pyth_triple_verify nx_th_pyth_triple_a ↻ nx_th_pyth_triple_b ↻ nx_th_pyth_triple_c ↻ nx_th_pythagorean_check 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_harmonic_ppb nx_th_harmonic_lower_bound nx_th_isosceles_check nx_th_geometric_sum nx_th_arithmetic_sum nx_th_prime_factorize nx_th_prime_reciprocal_sum nx_th_is_prime_trial nx_th_divisible_by_3_via_d nx_th_digit_sum_base_10 nx_th_derangement nx_th_horner_eval nx_th_factor_check nx_th_horner_eval ↻ nx_th_birthday_collision_p nx_th_birthday_no_collisio

structs

none

consts

none

functions

6func main() -> i64 {
calls 26: nx_th_sqrt2_irrational_checknx_th_cantor_pairingnx_th_cantor_unpair_anx_th_cantor_unpair_bnx_th_euclid_prime_witnessnx_th_pyth_triple_a+20