and Proof K Use inductive reaso sequence of comput perform

Last updated: 2/5/2023

and Proof K Use inductive reaso sequence of comput perform the arithmet conjecture is correct