AXL

Scaling Past Informal AI - Carina Hong, Axiom Math

Latent Space

A set of proof validation and manipulation tools built for Lean, released to the community for free use. Designed to make large-scale Lean operations more robust and faster.