Home
Explore
Signin
Sagredo: automated dialogue between GPT and Lean.
leanprover community
•
September 25, 2023
You May Also Like
leanprover community
View Channel
About
No channel description available.
Latest Posts
Lean Together 2024: Josh Clune, Duper, A higher order proof producing superposition theorem prover
leanprover community
Infinitude of primes --- a Lean theorem prover demo
leanprover community
LftCM2020: Mathematics in Lean introduction - Patrick Massot
leanprover community
Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean
leanprover community
AI Assistant
Loading...
Show More
No messages yet. Start a conversation!
