Search results

Permission denied error in .lake directory

Status: Open.

#91 In lenianiva/lean4-nix;

· alexstaeding opened on Nov 30, 2025

Incorrect manifest used

Status: Open.

#84 In lenianiva/lean4-nix;

· alexstaeding opened on Nov 17, 2025

Issues with <code>lake exe cache get</code> on MIL

bugSomething isn't workingSomething isn't working

Status: Open.

#83 In lenianiva/lean4-nix;

· enricozb opened on Nov 14, 2025

Binary toolchain fails to patch on darwin

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#76 In lenianiva/lean4-nix;

· lenianiva opened on Oct 20, 2025

General improvements

Status: Open.

#39 In lenianiva/lean4-nix;

· RossSmyth opened on Feb 23, 2025

Potential package name mismatch problem

help wantedExtra attention is neededExtra attention is needed

part/lake2nixReading dependencies and buildingReading dependencies and building

Status: Open.

#18 In lenianiva/lean4-nix;

· lenianiva opened on Oct 28, 2024