code wiki / (root) / nx_theorems10_test.nx

nx_theorems10_test.nx

buildroot/runtime/nx_theorems10_test.nx

2030 B51 linesdepth 6pulls 12 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_theorems10_test.nx -- close Freek-100 to 100.

dependencies 3 imports · 0 importers

syscalls.nx nx_measure.nx nx_qed_freek.nx nx_theorems10_test.nx

imports: syscalls.nxnx_measure.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_measure_interval_length nx_measure_empty_set nx_measure_monotonicity_ch nx_measure_interval_length ↻ nx_th_ch_undecidable_in_zf nx_th_four_color_theorem_h nx_th_k4_chromatic_number nx_th_k4_4color_valid sys_mmap nx_th_flt_holds nx_th_flt_no_counterexampl nx_th_lebesgue_measure_exi nx_th_lebesgue_translation nx_measure_interval_length ↻ nx_measure_simple_integral nx_measure_interval_length ↻ 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_measure_finite_additivi nx_measure_finite_union_le nx_measure_interval_length ↻ nx_measure_interval_length ↻ nx_th_partition_grows_supe nx_th_partition sys_mmap ↻ nx_th_freek_100_coverage_c

structs

none

consts

none

functions

7func main() -> i64 {
calls 15: nx_measure_interval_lengthnx_measure_empty_setnx_measure_monotonicity_checknx_th_ch_undecidable_in_zfcnx_th_four_color_theorem_holdsnx_th_k4_chromatic_number+9