Making Lean more accessible with Sophize
Sophize is a non-profit online mathematics library and academic discussion platform. We are trying to create a deeply connected network of mathematical knowledge from a variety of sources - including formal systems like Lean.

We provide knowledge from a variety of theoretical foundations and verification standards. Having formal systems like Lean is especially important to us because of their computer-verified proofs.

The following short videos will give an overview of our goals and existing work:
https://youtu.be/XNJ2w71Gi50
https://www.youtube.com/watch?v=Wb1JbW9Otek&list=PLdfnRS1Iea0219QBYU_jF9D8F9VPUIq1z

This form would help us understand what the community finds valuable and which of our offerings, we should focus on.
Sign in to Google to save your progress. Learn more
Name *
Making Lean more accessible to the broader mathematics community is an important goal to pursue. *
The ability to easily look-up terms in a Lean theorem/proof will make it more accessible to mathematicians OUTSIDE the Lean community. [See https://youtu.be/XNJ2w71Gi50?t=49] *
The ability to easily look-up terms in a Lean theorem/proof will make it more accessible to Lean practitioners. *
The ability to easily write 'Smart articles' (combine formal proofs with informal descriptions) will help make Lean more accessible  [See https://youtu.be/XNJ2w71Gi50?t=74] *
Sophize's compute capabilities will be useful to the Lean community [https://youtu.be/XNJ2w71Gi50?t=154] *
If you agree with the above statement, how do you think Sophize compute capabilities will be useful?
Having knowledge from various formal systems (HOL, Coq, Lean, Mizar) on a single platform would be useful for the overall development of formal systems. *
Combining structured knowledge from formal systems with informal systems (like encyclopedias, research papers, e-books) would help make formal systems more popular. [See https://youtu.be/Wb1JbW9Otek] *
Any feedback/suggestions/ideas you would like to share with us share? *
Submit
Clear form
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google. Report Abuse - Terms of Service - Privacy Policy
Google Forms