AXLE Lean Engine vs Quint

Side-by-side comparison of two Ai projects on AiList.

AXLE Lean Engine
Quint
Tagline
Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.
Wraps the Quint formal specification language CLI for type-checking, simulation, testing, exhaustive model checking via Apalache, and documentation lookup.
Category
CLI Tools
CLI Tools
GitHub Stars
2
2
Stars This Week
—
—
Language
Python
—
License
—
—
Built With
—
—
Views
67
112
Clicks
6
10
Links
GitHub
GitHub
View AXLE Lean Engine View Quint

List Your Project

Join the directory Ai agents read. Free forever.

Submit Your Project