code wiki / (root) / nx_theorems8_test.nx

nx_theorems8_test.nx

buildroot/runtime/nx_theorems8_test.nx

4573 B99 linesdepth 6pulls 12 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_theorems8_test.nx -- batch 8 verification.

dependencies 2 imports · 0 importers

syscalls.nx nx_qed_freek.nx nx_theorems8_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_fta_quadratic_root_k nx_th_fta_quadratic_discri nx_th_collinear_check nx_th_feuerbach_nine_point nx_th_collinear_check ↻ nx_th_ramsey_find_mono_tri nx_th_brouwer_1d_fixed_poi nx_poly_eval nx_th_isoperimetric_check_ nx_th_isoperimetric_ratio_ 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_isoperimetric_check_ nx_th_isoperimetric_ratio_ ↻ nx_th_e_not_root_of nx_muldiv_i64 ↻ nx_th_fourier_partial_eval nx_th_cos_ppb_from_deg nx_muldiv_i64 ↻ nx_th_sin_ppb_from_deg nx_muldiv_i64 ↻ nx_muldiv_i64 ↻ nx_th_cos_ppb_from_deg ↻ nx_th_min_cube_dissection nx_th_desargues_axis_check nx_th_collinear_check ↻ nx_th_green_unit_square_ch sys_mmap nx_th_shoelace_area_x2

structs

none

consts

none

functions

6func main() -> i64 {
calls 13: nx_th_fta_quadratic_root_kindnx_th_collinear_checknx_th_feuerbach_nine_point_existsnx_th_ramsey_find_mono_trianglenx_th_brouwer_1d_fixed_pointnx_th_isoperimetric_check_circle+7