> Comment #31318
This sounds very exciting! At this point, could you give an example of how one would type a search query for a theorem? Would it involve learning the syntax of one of the prover softwares you linked to?
posted by <hidden> •
5 years and 9 months ago
Keep in Touch
© DuckDuckGo. The search engine that doesn't track you.
Login with Github
Forgot your password?
Don't have an account?
Report this content for:
Attempting to drive traffic to a website by posting off-topic links to a personal/business website.
Insulting or provocative (and not in a good way).
Lewd or offensive language.
Post is entirely unrelated to the topic being discussed.
Post is likely copy/pasted from another website and was meant for blackhat SEO.
Enter your own description of the flagged post.