Space: igriv/aristotle-prover
title: Aristotle_Theorem_Prover
sdk: gradio
Tags: gradio, region:us