Popular repositories Loading

1. axplorer axplorer Public

   Jupyter Notebook 173 27

2. axiom-lean-engine axiom-lean-engine Public

   Lean evaluation and metaprogramming utilities for provers.

   Python 134 17

3. Putnam2025 Putnam2025 Public

   Our solutions to Putnam 2025.

   Lean 109 5

4. fel-polynomial fel-polynomial Public

   Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"

   Lean 44 4

5. IMO2026 IMO2026 Public

   Lean 37 2

6. axle-mcp-server axle-mcp-server Public

   MCP Server for AI agents to interact with our Lean infrastructure

   Python 34 2