cameronfreer/lean4-skills
codex-plugins via marketplace-crawl
- Upstream
- github.com/cameronfreer/lean4-skills
- Version
4.11.4
Source details
- Revision
v4.11.4tag- Hash
sha256-dZNZAv436+eegUcqlBbNoC2SENDPLgAhLkhN6qugEEU=- Snapshot
- data/codex-plugins/github.com/cameronfreer/lean4-skills.json · latest JSON
2 packages
lean4
4.11.4
·
plugins/lean4
pkgs.codex-plugins.github.cameronfreer.lean4-skills.lean4Build without the overlay
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.cameronfreer.lean4-skills.lean4'lean4-contribute
4.11.4
·
plugins/lean4-contribute
pkgs.codex-plugins.github.cameronfreer.lean4-skills.lean4-contributeBuild without the overlay
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.cameronfreer.lean4-skills.lean4-contribute'
The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.