Zulip Chat Archive
Stream: new members
Topic: Install mathlib with nix
Julin S (Jul 14 2022 at 11:16):
Does anyone know how to install mathlib for lean3 via nix?
I have got lean, but not mathlib.
Jim Fowler (Jul 20 2022 at 04:49):
Are you using nix or also NixOS? I use NixOS, installed elan and mathlibtools, and then use leanproject to get mathlib.
Last updated: Dec 20 2023 at 11:08 UTC