AXLE Lean Engine updates
Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.
No updates yet.
Updates are company announcements posted by the listing owner and reviewed before publishing. All AiList updates.