remove tactic writing tutorial from side menu; add Lean courses to side menu - Githubissues

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

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

MIT License

54 stars 123 forks source link

remove tactic writing tutorial from side menu; add Lean courses to side menu #382

Closed robertylewis closed 1 year ago

PatrickMassot commented 1 year ago

Thanks!