| ▲ | anewhnaccount2 5 hours ago | |
Same approach for Julias stdlib: https://discourse.julialang.org/t/formalizing-julia-in-lean-... | ||
| ▲ | Alexander-Barth an hour ago | parent [-] | |
Interesting also the prompt of the python formalization (and the blog post) mentions the julia-in-lean: https://github.com/Broyojo/python-formalization/blob/main/AG... | ||