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 ...
ABSTRACT: This research is conducted in the summer of 2016 and it is supported by several agen-cies, such as the CILES grant of Prof. Angulo Nieves, professor of Mathematics at Hostos Community ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results