update sentence on Lean 3 to Lean 4 transition - Githubissues

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

https://leanprover-community.github.io/

MIT License

53 stars 123 forks source link

update sentence on Lean 3 to Lean 4 transition #444

Closed mo271 closed 8 months ago

PatrickMassot commented 8 months ago

Thanks!