Same approach for Julias stdlib: https://discourse.julialang.org/t/formalizing-julia-in-lean-...
Interesting also prompt of the python formalization (and the blog post) mentions the julia-in-lean:
https://github.com/Broyojo/python-formalization/blob/main/AG...
alt Hacker News
Interesting also prompt of the python formalization (and the blog post) mentions the julia-in-lean:
https://github.com/Broyojo/python-formalization/blob/main/AG...