Contributed
1
Total Stars
0
Total Forks
0
Avg Stars
0
Showing 1 skills
aristotle
star 0
Prove Lean 4 theorems using the Aristotle proof synthesis service. Use when the user mentions "aristotle", "prove", "fil...
tools llm ai
development llm ai
4个月前