Map / Applications / Knowledge Discovery / AXLE

AXLE

Hosted Lean engine for verifying and editing math proofs

CuratedAcademic ResearchWeb

I use this adds AXLE to your stack and finds people with similar stacks. Every mark feeds the counts on Pulse. Sign in to mark it.

No ratings yet

Who uses it

0 use this

0use it now

0tried it, dropped it

0want to try

Nobody has marked it yet. Press I use this, Tried it or Want to try to be the first.

Ratings

Only from people who use it or tried it

No ratings yet

The first rating comes from someone who uses AXLE or tried it.

Use AXLE?

What it does

AXLE (Axiom Lean Engine) is a hosted service from Axiom Math for checking and manipulating Lean 4 proofs. It offers tools such as verify_proof, check, repair_proofs and extract_decls over Mathlib and other libraries, through a web sandbox, an HTTP API and an MCP server for AI agents. It is free, with anonymous and API-key tiers.

Alternatives on the map

All 37 alternatives

Knowledge Discovery, starting with the other Academic Research.

Compare with

People who use it also use

Not enough marks yet to tell. When people who use AXLE mark the rest of their stack, it shows up here.

Open website