chore: update details for Lean for Scientists and Engineers

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

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

MIT License

51 stars 119 forks source link

Closed semorrison closed 1 month ago

semorrison commented 1 month ago

The website was a signup link: as notes and videos are being posted on zulip, that seems a more useful link now.

Also removing "English" as this is the default.