Pinned Loading

1. stanford-centaur/PyPantograph stanford-centaur/PyPantograph Public

   A Machine-to-Machine Interaction System for Lean 4.

   Python 143 33

2. leanprover/Pantograph leanprover/Pantograph Public

   (Mirror) A Machine-to-Machine Interaction System for Lean 4

   Lean 72 15

3. Prismriver Prismriver Public

   (Mirror) A Music formalization library and DSL in Lean 4

   Lean 16

4. AdrienChampion/hashconsing AdrienChampion/hashconsing Public

   A Rust hashconsing library.

   Rust 39 6

5. lean4-nix lean4-nix Public

   Nix overlay for Lean 4, and lake2nix

   Nix 112 17

6. Manifest2Nix.jl Manifest2Nix.jl Public

   (Mirror) A Nix library for creating reproducible Julia builds and experiments via precompilation.

   Nix 9 1