nx_compare_systems_test.nx
buildroot/runtime/nx_compare_systems_test.nx
about
nx_compare_systems_test.nx -- run the comparison engine vs each peer.
dependencies 1 imports · 0 importers
imports: nx_compare_systems.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 6 | func compare_vs_hol_light() -> nx_int |
| 53 | func compare_vs_coq() -> nx_int |
| 89 | func compare_vs_lean4() -> nx_int |
| 119 | func compare_vs_isabelle() -> nx_int |
| 143 | func compare_vs_mathematica() -> nx_int |
| 182 | func emit_summary() -> nx_int called by 1: main |
| 214 | func main() -> nx_exit |