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 ...
If you’re a hacker you may well have a passing interest in math, and if you have an interest in math you might like to hear about the direction of mathematical research. In a talk on this topic [Kevin ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results