Published June 26, 2025
| Version 0.0.1
Golden Algebra Formalization in Lean 4
Authors/Creators
Description
This is where I will work on formalizing golden algebra using Lean 4. I have started the process, so come check this page out every once in a while if you want to see the progress. :)
Files
Files
(37.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:215e6b97bbf36403661c2ddff9a478bb
|
37.0 kB | Download |
Additional details
Related works
- Is supplement to
- Book: 10.5281/zenodo.15708592 (DOI)
Software
- Programming language
- Lean