Skip to content

feat(Analysis): from C¹-manifold to real analytic - #652

Open
alreadydone wants to merge 2 commits into
leanprover:mainfrom
alreadydone:C1ToAnalytic
Open

alreadydone wants to merge 2 commits into
leanprover:mainfrom
alreadydone:C1ToAnalytic

Conversation

@alreadydone

@alreadydone alreadydone commented Sep 26, 2026 •

Copy link
Copy Markdown
Contributor

Perplexity with GPT-6 Sol Thinking is convinced of the natural language statements: https://www.perplexity.ai/search/e8be8fa3-4e57-4e75-a760-a58039127fd2

not sure if this is hard enough, someone might as well try ...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant