is there linear algebra course's for beginners?

Stream: new members

[Dmitry Polyakov]

Hello! Is there dedicated introduction course to define certain structures like vector spaces and prove theorems on them?

Or may be dedicated course for linear algebra in specific.

[Heather Macbeth]

@Dmitry Polyakov A new resource along these lines is a linear algebra game written by a group led by @Colleen Robles.

[Eric Wieser]

That link is only for Lean 3, right?

[Kevin Buzzard]

It would not be hard to port though. The Lean 4 version of the game maker is much easier to use and develop on than the Lean 3 version.

[Eric Wieser]

But harder to host, right?

[Kevin Buzzard]

I don't know anything about hosting