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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results