Zulip Chat Archive
Stream: lean4
Topic: Package manager
crab (Jan 19 2022 at 17:36):
Will lean 4 get a create-new-project template, with like a leanpkg.toml file. And will the mathlib4 port be finished soon?
Arthur Paulino (Jan 19 2022 at 17:37):
crab (Jan 19 2022 at 17:39):
Wow! Cool!
crab (Jan 19 2022 at 17:40):
How is progress on mathlib4 going?
Henrik Böving (Jan 19 2022 at 17:48):
We have a little experimentation going in the Mathlib4 repo https://github.com/leanprover-community/mathlib4 and some work going on on the automated translation end here: https://github.com/leanprover-community/mathport/. @Gabriel Ebner is one of the main contributors to both so he probably knows best how well it is going.
Arthur Paulino (Jan 19 2022 at 17:50):
crab said:
How is progress on mathlib4 going?
There's also this recent blog post about it
Last updated: Dec 20 2023 at 11:08 UTC