南京大学 AI for Math 系列课程 (Lean)

诶本科生上的。不过南大也有人会 Lean,好厉害

南大有不少优质学习资源呐,我不少东西都是看南大的网课学的

我也制作了几乎没人需要的优质课程 :grin:Malliavin分析 5 log Sobolev的四种证法(余三)_哔哩哔哩_bilibili

1 Like

看不懂思密达 :sob: 已关注+投币