carloperassi/aristowrap repository overview

aristowrap is an easy, Docker-first way to use Harmonic’s aristotle (aristotlelib) with Lean 4 (and Mathlib in your own project when you add it) without installing elan, Lake, or Python toolchains on your machine.

Unofficial helper for Aristotle (Harmonic). Not affiliated with Harmonic. Using the API is subject to Harmonic’s Terms of Use and Privacy Policy.

See https://github.com/carlok/aristowrap⁠