reaslab.io

Stream: new members

[vxctyxeha]

屏幕截图 2025-04-11 110655.png
image.png
what does git remote url stand for,and how can i use different lean version

[Notification Bot]

This topic was moved here from #mathlib4 > api by Kim Morrison.

[Alissa Tung]

Hello, I am one of the developer of this website, GitHub URL is used for pull and push git repo.

Currently settings and sync are not ready yet, we plan to ship the change version and sync next in the next week, sorry!

[Alissa Tung]

As for now, if you want to use different Lean toolchain version, you can use "New Project" -> Select a version