GitHub repository: lenianiva/lean4-nix
Primary language: Nix
Created: 2024-10-11T05:39:32Z
Description: Nix overlay for Lean 4, and lake2nix