issues
search
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
Added Lean for Scientists and Engineers to courses.yaml
#497
Closed
TylerJosephson
closed
1 month ago
TylerJosephson
commented
2 months ago
Added Lean for Scientists and Engineers
Added Lean for Scientists and Engineers