iiis-lean
Popular repositories Loading
-
lean-mcp-toolkit
lean-mcp-toolkit PublicUnified Lean tool server with MCP, HTTP API, remote CLI, local shell, and configurable backends for diagnostics, declarations, LSP, and search
Python 3
-
lean-constellation
lean-constellation PublicMulti-repository coordination runtime for Lean formalization workflows: repo dependency graphs, repo-level coordinators, node-scoped tasks, Codex-backed agents, and reproducible snapshots.
Python 1
-
-
-
UniformMissingTraceFamily
UniformMissingTraceFamily PublicLean 4 formalization of A disproof of the uniform witness conjecture, produced with Lean Constellation.
Lean
-
FinitePairwiseCoverageGap
FinitePairwiseCoverageGap PublicLean 4 formalization of an explicit finite pairwise-independent coverage gap counterexample.
Lean
Repositories
- lean-constellation Public
Multi-repository coordination runtime for Lean formalization workflows: repo dependency graphs, repo-level coordinators, node-scoped tasks, Codex-backed agents, and reproducible snapshots.
- lean-exposition Public
Progressive Lean exposition with synchronized human and agent reading interfaces
- lean-mcp-toolkit Public
Unified Lean tool server with MCP, HTTP API, remote CLI, local shell, and configurable backends for diagnostics, declarations, LSP, and search
- UniformMissingTraceFamily Public
Lean 4 formalization of A disproof of the uniform witness conjecture, produced with Lean Constellation.
- AndrewsDharD3 Public
Structured Lean reconstruction of the Andrews-Dhar D3 partition equidistribution proof
- Erdos1091 Public
Lean formalization of the bounded-chord counterexample family for the quantitative part of Erdos Problem 1091
- erdos-946 Public
Erdos 946 Lean workspace: consumer formalization, declared weighted-sieve provider, pinned exports and statistics.
- weighted-sieve Public
Lean 4 weighted-sieve interfaces (graph_declared) used by the Erdos 946 formalization.
- consecutive-divisor-counts Public
Lean 4 Erdos 946 consumer formalization, proved under a fixed declared weighted-sieve interface.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…