Sign in
Join now
nixpkgs
niklaskorz.eu
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Nix Packages collection & NixOS
github.com/NixOS/nixpkgs
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
nixpkgs
/
pkgs
/
development
/
lean-modules
10 folders
·
1 file
at
master
aaaaa.tngl.sh
·
lean4: 4.34.1 -> 4.35.0
·
1mo ago
c676d821
aesop
lean4: 4.34.1 -> 4.35.0
1mo ago
batteries
lean4: 4.34.1 -> 4.35.0
1mo ago
Cli
lean4: 4.34.1 -> 4.35.0
1mo ago
importGraph
lean4: 4.34.1 -> 4.35.0
1mo ago
lean4
lean4: 4.34.1 -> 4.35.0
1mo ago
LeanSearchClient
lean4: 4.34.1 -> 4.35.0
1mo ago
mathlib
lean4: 4.34.1 -> 4.35.0
1mo ago
plausible
lean4: 4.34.1 -> 4.35.0
1mo ago
proofwidgets
lean4: 4.34.1 -> 4.35.0
1mo ago
Qq
lean4: 4.34.1 -> 4.35.0
1mo ago
update.sh
leanPackages.mathlib: lgz preprocessing
5mo ago
