Sieve
Math is changing fast. We have an abundance of proofs but we lack the capability to digest them. Sieve analyzes Lean proofs and extracts as much insight as possible to help mathematicians.
Math is changing fast. We have an abundance of proofs but we lack the capability to digest them. Sieve analyzes Lean proofs and extracts as much insight as possible to help mathematicians.
Log in or sign up for Devpost to join the conversation.