Learning Lean: Part 1

rkirov.github.io · first added by @hnl · 2026-02-27 · 1 upvotes

─── In 1 list ──────────────────────────────────────────

* Issue #783 (62 nodes) by @hnl