Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.
Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.
A research team led by Simon Fraser University has developed Lean Finder, an AI-powered search tool that helps mathematicians and computer scientists quickly locate the right theorems in the Lean ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback