AXL

Software / App

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.

Mentioned in 1 video