SorryDB: Can AI Provers Complete Real-World Lean Theorems? | Signal Canvas | ScienceToStartup

Skip to main content

+SScienceToStartup

Product

Daily Dashboard
Signal Canvas
Build Loop
Evidence
Workspace
Terminal
Talent Layer
GitHub Velocity

Proof

Why
Methodology
Foresight
Proof Layer
Proof Homepage
Freshness Hub
Example Paper Page
Topic Proof Layer
Benchmark Scorecard
Public Dataset

Developers

Overview
Start Here
REST API
MCP Server
SDKs
Examples
Keys
Docs
/llms.txt

Trends

Live Desk
Archive
Entities
Narratives
Topics
Methodology

Resources

All Resources
Benchmark
Industry Index
Database
Dataset
Glossary
State Reports
Directory
App Discoverability
Calculator
Templates
Alternatives
Comparison Hubs
Questions
Use Cases

Company

Company Hub
About
Investor
Articles
Changelog
Careers
Enterprise
FAQ
Legal
Privacy Policy
Contact

Contact

113 Cherry St #92768

Seattle, WA 98104-2205

musa@sciencetostartup.com

Social

X
GitHub
LinkedIn
YouTube

For agents

llms.txt
Surface registry
Capabilities

Legal

Investor
Privacy Policy
Legal
Contact

+SScienceToStartup

Copyright © 2026 ScienceToStartup. All rights reserved.

SorryDB: Can AI Provers Complete Real-World Lean Theorems? | Signal Canvas | ScienceToStartup