code wiki / (root) / nx_compare_systems_test.nx

nx_compare_systems_test.nx

buildroot/runtime/nx_compare_systems_test.nx

13115 B222 linesdepth 7pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic compare

about

nx_compare_systems_test.nx -- run the comparison engine vs each peer.

imports: nx_compare_systems.nx

imported by: nobody (leaf or entry point)

none

none

6	func compare_vs_hol_light() -> nx_int called by 1: main calls 2: println nx_compare_row
53	func compare_vs_coq() -> nx_int called by 1: main calls 2: println nx_compare_row
89	func compare_vs_lean4() -> nx_int called by 1: main calls 2: println nx_compare_row
119	func compare_vs_isabelle() -> nx_int called by 1: main calls 2: println nx_compare_row
143	func compare_vs_mathematica() -> nx_int called by 1: main calls 2: println nx_compare_row
182	func emit_summary() -> nx_int called by 1: main calls 1: println
214	func main() -> nx_exit calls 6: compare_vs_hol_light compare_vs_coq compare_vs_lean4 compare_vs_isabelle compare_vs_mathematica emit_summary