Zulip Chat Archive

Stream: new members

Topic: Virtual machine

Kajani Kaunda (Jul 18 2024 at 06:51):

is there a virtual machine with all the LEAN goodies installed that one can just download and they are good to go! If not, is it a good idea to start such a project?

Yaël Dillies (Jul 18 2024 at 06:52):

Yes there is! https://gitpod.io/#https://github.com/leanprover-community/mathlib4

Kajani Kaunda (Jul 18 2024 at 07:02):

@Yaël Dillies thank you!

Yaël Dillies (Jul 18 2024 at 07:12):

I originally wanted to point you to the README, but somehow the information about gitpod disappeared from there. Here is a PR reinstating it: #14861

Last updated: May 02 2025 at 03:31 UTC