| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Cli | 39 | logplain |
| d--------- | LeanSearchClient | 39 | logplain |
| d--------- | 39 | logplain | |
| d--------- | aesop | 39 | logplain |
| d--------- | batteries | 39 | logplain |
| d--------- | importGraph | 39 | logplain |
| d--------- | lean4 | 39 | logplain |
| d--------- | mathlib | 39 | logplain |
| d--------- | plausible | 39 | logplain |
| d--------- | proofwidgets | 39 | logplain |
| -rwxr-xr-x | update.sh | 3487 | logplain |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |