Aristotle

Software / App

Harmonic AI's prover system, mentioned for verifying a GPT-generated proof.

Mentioned in 1 video