Same approach for Julias stdlib: https://discourse.julialang.org/t/formalizing-j... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		anewhnaccount2 4 hours ago \| parent \| context \| favorite \| on: Formalizing CPython Same approach for Julias stdlib: https://discourse.julialang.org/t/formalizing-julia-in-lean-...
		help

Alexander-Barth 54 minutes ago [–]

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...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact