Lean 4 Confirmation and Approval Proof for Hamzah Equation. (84)

HAMZAH, SEYED RASOUL

Open source

DOI
10.5281/zenodo.22865179
Published
2026
Container
Not recorded
Publisher
Zenodo
Open access
yes

Credibility signals

limited evidence Score 47/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.5281/zenodo.22865179,
  title = {Lean 4 Confirmation and Approval Proof for Hamzah Equation. (84)},
  author = {HAMZAH, SEYED RASOUL},
  year = {2026},
  doi = {10.5281/zenodo.22865179},
  url = {https://doi.org/10.5281/zenodo.22865179}
}

RIS

TY  - JOUR
TI  - Lean 4 Confirmation and Approval Proof for Hamzah Equation. (84)
AU  - HAMZAH, SEYED RASOUL
PY  - 2026
DO  - 10.5281/zenodo.22865179
UR  - https://doi.org/10.5281/zenodo.22865179
ER  - 

APA

RASOUL, H. S. (2026). Lean 4 Confirmation and Approval Proof for Hamzah Equation. (84). https://doi.org/10.5281/zenodo.22865179

Source records