aristotle

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

Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a

作者 Arthur742Ramos|オープンソース