pi-autocontext-lean-verify CDN by jsDelivr - A free, fast, and reliable Open Source CDN

...
add_comm
add_left_cancel_builtin
add_mul_distrib_left
add_zero_right
and_all_repeat_true
bool_not_not
challenge_v2_length_rev_no_helper
challenge_v2_map_succ_rev_no_helper
challenge_v2_sum_rev_no_helper
challenge_v3_map_rev_append_combined
challenge_v3_rev_acc_generalization
challenge_v3_sum_acc_generalization
challenge_v3_tree_flatten_mirror
challenge_v4_count_acc_generalization
challenge_v4_count_flatten_mirror
challenge_v4_count_mapSucc_rev
challenge_v4_count_rev_slow
challenge_v5_filter_rev_count_combo
challenge_v5_partition_count_length
challenge_v5_tally_acc_pair
challenge_v5_tree_tally_mirror
challenge_v6_mapSucc_rev_count_sum
challenge_v6_mutual_depth_stats_mirror
challenge_v6_stats_acc_rev
challenge_v6_tree_partition_mirror
challenge_v7_mutual_values_stats_acc_mirror
challenge_v7_partition_reassemble_stats_acc_mirror
challenge_v7_partition_stats_acc_mirror
challenge_v7_tree_mapSucc_stats_acc_mirror
challenge_v8_drop_stats_acc_flatten_mirror
challenge_v8_keep_stats_acc_flatten_mirror
challenge_v8_partition_reassemble_stats_acc_list
challenge_v8_stats_acc_flatten_mirror
challenge_v9_drop_length_flatten_mirror
challenge_v9_drop_length_sum_flatten_mirror
challenge_v9_drop_sum_flatten_mirror
challenge_v9_keep_length_flatten_mirror
challenge_v9_keep_length_sum_flatten_mirror
challenge_v9_keep_sum_flatten_mirror
challenge_v10_drop_count_flatten_mirror
challenge_v10_drop_stats_acc_from_metric_hyps
challenge_v10_keep_count_flatten_mirror
challenge_v10_keep_stats_acc_from_metric_hyps
challenge_v10_stats_acc_extensional_from_metrics
challenge_v10_stats_acc_reify_list
challenge_v11_drop_metric_bundle_flatten_mirror
challenge_v11_drop_stats_acc_from_metric_bundle
challenge_v11_keep_metric_bundle_flatten_mirror
challenge_v11_keep_stats_acc_from_metric_bundle
challenge_v11_partition_metric_bundles_flatten_mirror
challenge_v11_partition_stats_from_metric_bundles
challenge_v12_partition_count_length_metrics_flatten_mirror
challenge_v12_partition_count_length_sum_metrics_flatten_mirror
challenge_v12_partition_count_metrics_flatten_mirror
challenge_v12_partition_count_sum_metrics_flatten_mirror
challenge_v12_partition_length_metrics_flatten_mirror
challenge_v12_partition_length_sum_metrics_flatten_mirror
challenge_v12_partition_sum_metrics_flatten_mirror
challenge_v13_keep_drop_triple_metrics_append
challenge_v13_partition_metrics_from_side_hyps
challenge_v13_partition_metrics_with_append_hyps_flatten_mirror
challenge_v13_partition_reordered_metrics_flatten_mirror
challenge_v13_partition_side_bundle_no_stats_flatten_mirror
challenge_v13_raw_count_length_sum_flatten_mirror
challenge_v14_order_count_length_sum_flatten_mirror
challenge_v14_order_count_sum_length_flatten_mirror
challenge_v14_order_length_count_sum_flatten_mirror
challenge_v14_order_length_sum_count_flatten_mirror
challenge_v14_order_sum_count_length_flatten_mirror
challenge_v14_order_sum_length_count_flatten_mirror
challenge_v15_order_length_count_sum_from_metric_hyps
challenge_v15_order_length_count_sum_from_side_hyps
challenge_v15_order_length_count_sum_with_append_and_reassembly_hyp
challenge_v15_order_length_count_sum_with_append_hyps
challenge_v16_order_length_count_sum_with_named_metric_packers
challenge_v16_order_length_count_sum_with_nat_scalar_packer
challenge_v16_order_length_count_sum_with_pair_and_top_packers
challenge_v16_order_length_count_sum_with_top_level_packer
challenge_v17_named_metric_packers_with_coarse_plan_hints
challenge_v17_named_metric_packers_with_detailed_plan_hints
challenge_v17_pair_top_packers_with_coarse_plan_hints
challenge_v17_pair_top_packers_with_detailed_plan_hints
challenge_v18_named_metric_packers_clean
challenge_v18_pair_top_packers_clean
countup_eq_self
double_eq_add_self
double_eq_two_mul
double_shift_eq_two_mul_add_three
even_sum_succ_step
filter_length_le_builtin
five_shift_eq_five_mul_add_seven
length_slow_append_slow
length_slow_map_succ_slow
length_slow_rev_slow
list_append_assoc_nat
list_append_nil_nat
list_map_id_nat
map_double_slow_append_slow
mirror_mirror_tree
mul_add_distrib_right
mul_assoc_builtin
mul_comm_builtin
mul_one_right
mul_slow_add_left
mul_slow_add_right
mul_slow_succ_right
odd_sum_succ_step
one_mul_left
penta_add_eq_self_sum
plus_slow_assoc
plus_slow_comm
quad_add_eq_self_sum
quad_pair_eq_pair_sum
quad_slow_eq_four_mul
rev_slow_append_slow
rev_slow_rev_slow
seven_add_eq_self_sum
six_shift_eq_six_mul_add_one
sum_slow_append_slow
tree_leaves_mirror
tree_size_mirror
tree_size_mirror_mirror
tree_size_mirror_sum_twice
tri_alt_eq_reassociated
tri_nest_eq_right_nested
tri_offset_eq_self_sum_add_five
triple_add_eq_self_sum
triple_eq_three_mul
triple_shift_eq_three_mul_add_two
zero_add_left

Free Open Source CDN for pi-autocontext-lean-verify

Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/pi-autocontext-lean-verify

pi-autocontext-lean-verify CDN files