Abstract: The paper is about formalization of Set Theory and Elementary Algebra theorems in mathematics and their proofs in a new programming language called LEAN 4 Theorem Prover. The paper describes ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback