aristotle

Name: aristotle
Availability: InStock
Rating: 4.8 (50 reviews)
Author: hxrts

Prove Lean 4 theorems using the Aristotle proof synthesis service. Use when the user mentions "arist

作者 hxrts|オープンソース